Michael Mair-Keimberger (asterix) 5f5b51f29e dev-java/tomcat-servlet-api: remove unused file.

2017-08-14 23:50:45 +02:00

..

2.5-build-r1.xml

…

3.0-build.xml

…

3.1-build.xml

…

4.0-build.xml

…

jsp-api-2.0-manifest

…

servlet-api-2.4-manifest

…