dev-java/jdom-jaxen: Remove last-rited pkg
authorMichał Górny <mgorny@gentoo.org>
Sat, 28 Jul 2018 12:12:33 +0000 (14:12 +0200)
committerMichał Górny <mgorny@gentoo.org>
Sat, 28 Jul 2018 12:15:41 +0000 (14:15 +0200)
commitfe8f1aa8e615d6002bf400e3ce09eb24a3fbe789
tree020e23f5f0cc1152842dbfad26f6b91631f6b3f9
parenteb1fd1dbf5c543ac2d5836e413e21fa8656c371c
dev-java/jdom-jaxen: Remove last-rited pkg

Closes: https://bugs.gentoo.org/559994
dev-java/jdom-jaxen/Manifest [deleted file]
dev-java/jdom-jaxen/jdom-jaxen-1.0-r1.ebuild [deleted file]
dev-java/jdom-jaxen/metadata.xml [deleted file]
profiles/package.mask