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"/>

Reply via email to