dev-java/jung: remove unused file
authorMichael Mair-Keimberger <m.mairkeimberger@gmail.com>
Sat, 14 Apr 2018 16:01:40 +0000 (18:01 +0200)
committerAaron Bauman <bman@gentoo.org>
Sun, 15 Apr 2018 01:38:02 +0000 (21:38 -0400)
commit3366454d1082af0fa7ec687494ad5aa6941bff56
treec8f5e3dd5b02b5ed99371c0179fdc0020a3c7e92
parent7d59153ec5364ad06cb14fbfdb75c72e50965522
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 [deleted file]