projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e3e00d) | patch
Revert "dev-java/tomcat-servlet-api: removed obsolete versions"
authorThomas Deutschmann <whissi@gentoo.org>
Thu, 21 May 2020 20:02:14 +0000 (22:02 +0200)
committerThomas Deutschmann <whissi@gentoo.org>
Thu, 21 May 2020 20:02:24 +0000 (22:02 +0200)
commit75dc9ce6341d051342f63e9e021020bf004c60a0
tree4d8fc10d03e9327d77b727bb9cfbec48f62d139ctree | snapshot
parent7e3e00d354a1464c8a919fc0d0f85edfce124b82commit | diff
Revert "dev-java/tomcat-servlet-api: removed obsolete versions"

This reverts commit d8743e9b9a454f502711c95b7fa6776ac247ebf1.

Still needed by dev-java/{cdi-api,osgi-compendium,portletapi}.

Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
dev-java/tomcat-servlet-api/Manifest diff | blob | history
dev-java/tomcat-servlet-api/tomcat-servlet-api-7.0.103.ebuild [new file with mode: 0644] blob
dev-java/tomcat-servlet-api/tomcat-servlet-api-8.5.54.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.