diff options
| author | Matthew Harmsen <mharmsen@redhat.com> | 2014-09-03 21:07:07 -0700 |
|---|---|---|
| committer | Matthew Harmsen <mharmsen@redhat.com> | 2014-09-03 21:07:07 -0700 |
| commit | abaa8473f51a5c436a2952920625b7447e226b29 (patch) | |
| tree | e9e731a6e4eb8be63f1a74fffad101332b060afe /scripts/dev_setup | |
| parent | 4dbec5fe960a89b7ced3028e000b5695b6d9aac7 (diff) | |
Rename pki-tps-tomcat to pki-tps
* PKI TRAC Ticket #1017 - Rename pki-tps-tomcat to pki-tps
Diffstat (limited to 'scripts/dev_setup')
0 files changed, 0 insertions, 0 deletions