dev-java/tomcat-servlet-api: remove unused file.
authorMichael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com>
Mon, 14 Aug 2017 08:43:20 +0000 (10:43 +0200)
committerPatrice Clement <monsieurp@gentoo.org>
Mon, 14 Aug 2017 21:50:45 +0000 (23:50 +0200)
commit5f5b51f29eacea09c5e85954bfd314332bc2d57b
tree66bba53c687fb67b0b5b11f0136442dd2e7a01b6
parent3560ff925b085179bc9957f8d039010ae3b0de4f
dev-java/tomcat-servlet-api: remove unused file.
dev-java/tomcat-servlet-api/files/2.5-build.xml [deleted file]