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 /base/tps/src/pki-tps.mf | |
| parent | 4dbec5fe960a89b7ced3028e000b5695b6d9aac7 (diff) | |
| download | pki-abaa8473f51a5c436a2952920625b7447e226b29.tar.gz pki-abaa8473f51a5c436a2952920625b7447e226b29.tar.xz pki-abaa8473f51a5c436a2952920625b7447e226b29.zip | |
Rename pki-tps-tomcat to pki-tps
* PKI TRAC Ticket #1017 - Rename pki-tps-tomcat to pki-tps
Diffstat (limited to 'base/tps/src/pki-tps.mf')
| -rw-r--r-- | base/tps/src/pki-tps.mf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/base/tps/src/pki-tps.mf b/base/tps/src/pki-tps.mf new file mode 100644 index 000000000..d77fe8fa9 --- /dev/null +++ b/base/tps/src/pki-tps.mf @@ -0,0 +1,3 @@ +Name: pki-tps +Specification-Version: ${APPLICATION_VERSION} +Implementation-Version: ${VERSION} |