From 3366454d1082af0fa7ec687494ad5aa6941bff56 Mon Sep 17 00:00:00 2001
From: Michael Mair-Keimberger <m.mairkeimberger@gmail.com>
Date: Sat, 14 Apr 2018 18:01:40 +0200
Subject: [PATCH] dev-java/jung: remove unused file

Closes: https://github.com/gentoo/gentoo/pull/7992
---
 .../jung/files/jung-1.7.6-build.xml.patch     | 20 -------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 dev-java/jung/files/jung-1.7.6-build.xml.patch

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