public inbox for gentoo-commits@lists.gentoo.org
 help / color / mirror / Atom feed
* [gentoo-commits] repo/gentoo:master commit in: dev-java/jung/files/
@ 2018-04-15  1:41 Aaron Bauman
  0 siblings, 0 replies; only message in thread
From: Aaron Bauman @ 2018-04-15  1:41 UTC (permalink / raw
  To: gentoo-commits

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


^ permalink raw reply related	[flat|nested] only message in thread

only message in thread, other threads:[~2018-04-15  1:42 UTC | newest]

Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2018-04-15  1:41 [gentoo-commits] repo/gentoo:master commit in: dev-java/jung/files/ Aaron Bauman

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox