commit: 2630682676b7d0f3c524ac98fea2567511777269 Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com> AuthorDate: Sat Apr 14 16:00:38 2018 +0000 Commit: Aaron Bauman <bman <AT> gentoo <DOT> org> CommitDate: Sun Apr 15 01:41:05 2018 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=26306826
dev-java/jcifs: remove unused file Closes: https://github.com/gentoo/gentoo/pull/7991 dev-java/jcifs/files/1.3.17-build.xml.patch | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/dev-java/jcifs/files/1.3.17-build.xml.patch b/dev-java/jcifs/files/1.3.17-build.xml.patch deleted file mode 100644 index e90c6ef0ace..00000000000 --- a/dev-java/jcifs/files/1.3.17-build.xml.patch +++ /dev/null @@ -1,12 +0,0 @@ ---- a/build.xml -+++ b/build.xml -@@ -52,8 +52,6 @@ dependencies: Checks that all class dependencies are met. - source="1.5" - target="1.5" - fork="yes" -- executable="/usr/local/java5/bin/javac" -- compiler="javac1.5" - debug="on"> - <!-- - <compilerarg line="-Xlint:deprecation -Xlint:unchecked"/> -index ae4c8d8..2b09fa2 100644
