dev-java/jdom: Remove old masked version
authorMichał Górny <mgorny@gentoo.org>
Sat, 28 Jul 2018 12:12:05 +0000 (14:12 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sat, 28 Jul 2018 12:15:41 +0000 (14:15 +0200)
commiteb1fd1dbf5c543ac2d5836e413e21fa8656c371c
tree5962e3469ca4d52bb019a524635868438a669de5
parent1af51fa380eec5b1e845c26eb9475ca0b73bb9dd
dev-java/jdom: Remove old masked version

Bug: https://bugs.gentoo.org/559994
dev-java/jdom/Manifest
dev-java/jdom/jdom-1.0-r4.ebuild [deleted file]
profiles/package.mask