dev-java/{jpf,jpfcodegen}: Removal. Fixes bug 567580.
authorPatrice Clement <monsieurp@gentoo.org>
Tue, 5 Jan 2016 09:05:55 +0000 (09:05 +0000)
committerPatrice Clement <monsieurp@gentoo.org>
Tue, 5 Jan 2016 09:05:55 +0000 (09:05 +0000)
commitc3dce08eba3989d9c79be47f75f76448aa476192
tree7ff59225590c8365456e6a8cb1828110b4716b04
parentd1baa40304ba43201fb74dc3efffda68abd265b7
dev-java/{jpf,jpfcodegen}: Removal. Fixes bug 567580.

Signed-off-by: Patrice Clement <monsieurp@gentoo.org>
dev-java/jpf/Manifest [deleted file]
dev-java/jpf/jpf-1.5.1.ebuild [deleted file]
dev-java/jpf/metadata.xml [deleted file]
dev-java/jpfcodegen/Manifest [deleted file]
dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild [deleted file]
dev-java/jpfcodegen/metadata.xml [deleted file]