From 5f5b51f29eacea09c5e85954bfd314332bc2d57b Mon Sep 17 00:00:00 2001 From: "Michael Mair-Keimberger (asterix)" Date: Mon, 14 Aug 2017 10:43:20 +0200 Subject: [PATCH] dev-java/tomcat-servlet-api: remove unused file. --- .../tomcat-servlet-api/files/2.5-build.xml | 82 ------------------- 1 file changed, 82 deletions(-) delete mode 100644 dev-java/tomcat-servlet-api/files/2.5-build.xml diff --git a/dev-java/tomcat-servlet-api/files/2.5-build.xml b/dev-java/tomcat-servlet-api/files/2.5-build.xml deleted file mode 100644 index 97ade1678713..000000000000 --- a/dev-java/tomcat-servlet-api/files/2.5-build.xml +++ /dev/null @@ -1,82 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -- 2.26.2