commit: 3366454d1082af0fa7ec687494ad5aa6941bff56 Author: Michael Mair-Keimberger <m.mairkeimberger <AT> gmail <DOT> com> AuthorDate: Sat Apr 14 16:01:40 2018 +0000 Commit: Aaron Bauman <bman <AT> gentoo <DOT> org> CommitDate: Sun Apr 15 01:38:02 2018 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3366454d
dev-java/jung: remove unused file Closes: https://github.com/gentoo/gentoo/pull/7992 dev-java/jung/files/jung-1.7.6-build.xml.patch | 20 -------------------- 1 file changed, 20 deletions(-) diff --git a/dev-java/jung/files/jung-1.7.6-build.xml.patch b/dev-java/jung/files/jung-1.7.6-build.xml.patch deleted file mode 100644 index 1ddf38597d6..00000000000 --- a/dev-java/jung/files/jung-1.7.6-build.xml.patch +++ /dev/null @@ -1,20 +0,0 @@ ---- build.xml 2009-05-24 12:12:51.007684864 +1200 -+++ build.xml 2009-05-24 12:39:01.796913330 +1200 -@@ -83,7 +83,7 @@ - </fileset> - </path> - -- <taskdef classpathref="jcoverage" resource="tasks.properties"/> -+ <!--<taskdef classpathref="jcoverage" resource="tasks.properties"/>--> - - <target name="clean" description="clean up build artefacts" unless="cleaned"> - <delete quiet="true"> -@@ -157,7 +157,7 @@ - the instrumented classes reference classes used by the - jcoverage runtime. - --> -- <classpath refid="jcoverage"/> -+ <!--<classpath refid="jcoverage"/>--> - <classpath refid="alljars"/> - <!-- <formatter type="brief" usefile="false"/> --> - <formatter type="xml"/>
