diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2018-04-14 18:01:40 +0200 |
|---|---|---|
| committer |   Aaron Bauman <bman@gentoo.org> | 2018-04-14 21:38:02 -0400 |
| commit | 3366454d1082af0fa7ec687494ad5aa6941bff56 (patch) | |
| tree | c8f5e3dd5b02b5ed99371c0179fdc0020a3c7e92 /dev-java/jung | |
| parent | sys-apps/ethtool: amd64 stable (diff) | |
| download | gentoo-3366454d1082af0fa7ec687494ad5aa6941bff56.tar.gz gentoo-3366454d1082af0fa7ec687494ad5aa6941bff56.tar.bz2 gentoo-3366454d1082af0fa7ec687494ad5aa6941bff56.zip | |
dev-java/jung: remove unused file
Closes: https://github.com/gentoo/gentoo/pull/7992
Diffstat (limited to 'dev-java/jung')
| -rw-r--r-- | dev-java/jung/files/jung-1.7.6-build.xml.patch | 20 |
1 files changed, 0 insertions, 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 1ddf38597d6f..000000000000 --- 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"/> |