dev-java/tomcat-servlet-api: remove unused file.

johu · Aug 14, 2017 · 5f5b51f · 5f5b51f
1 parent 3560ff9
commit 5f5b51f
Showing 1 changed file with 0 additions and 82 deletions.
diff --git a/dev-java/tomcat-servlet-api/files/2.5-build.xml b/dev-java/tomcat-servlet-api/files/2.5-build.xml