dev-java/{jpf,jpfcodegen}: Removal. Fixes bug 567580.

Signed-off-by: Patrice Clement <[email protected]>
johu · Jan 5, 2016 · c3dce08 · c3dce08
1 parent d1baa40
commit c3dce08
Show file tree

Hide file tree

Showing 6 changed files with 0 additions and 101 deletions.
diff --git a/dev-java/jpf/Manifest b/dev-java/jpf/Manifest
diff --git a/dev-java/jpf/jpf-1.5.1.ebuild b/dev-java/jpf/jpf-1.5.1.ebuild
diff --git a/dev-java/jpf/metadata.xml b/dev-java/jpf/metadata.xml
diff --git a/dev-java/jpfcodegen/Manifest b/dev-java/jpfcodegen/Manifest
diff --git a/dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild b/dev-java/jpfcodegen/jpfcodegen-0.4-r1.ebuild
diff --git a/dev-java/jpfcodegen/metadata.xml b/dev-java/jpfcodegen/metadata.xml