diff options
| author |   Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-08-14 10:44:34 +0200 |
|---|---|---|
| committer |   Patrice Clement <monsieurp@gentoo.org> | 2017-08-14 23:50:45 +0200 |
| commit | 7a3f8edc6a217105e96d13d19518aadd8ca1b2a1 (patch) | |
| tree | d15d9a484ef211c147426159eea8aabf7fd78a87 /dev-libs | |
| parent | dev-java/tomcat-servlet-api: remove unused file. (diff) | |
| download | gentoo-7a3f8edc6a217105e96d13d19518aadd8ca1b2a1.tar.gz gentoo-7a3f8edc6a217105e96d13d19518aadd8ca1b2a1.tar.bz2 gentoo-7a3f8edc6a217105e96d13d19518aadd8ca1b2a1.zip | |
dev-java/xmldb: remove unused file.
Diffstat (limited to 'dev-libs')
0 files changed, 0 insertions, 0 deletions