diff options
| author |   James Le Cuirot <chewi@gentoo.org> | 2015-07-28 23:18:59 +0000 |
|---|---|---|
| committer | James Le Cuirot <chewi@gentoo.org> | 2015-07-28 23:18:59 +0000 |
| commit | 9817236fd08c6704bb79ecbb155d93b5d4c42a87 (patch) | |
| tree | 04e8baaab8037b19bf213a5a4de656a824b1f9db /media-libs/libxmi | |
| parent | Remove obsolete jdk/jre mask. (diff) | |
| download | gentoo-2-9817236fd08c6704bb79ecbb155d93b5d4c42a87.tar.gz gentoo-2-9817236fd08c6704bb79ecbb155d93b5d4c42a87.tar.bz2 gentoo-2-9817236fd08c6704bb79ecbb155d93b5d4c42a87.zip | |
Remove obsolete jdk/jre mask.
Diffstat (limited to 'media-libs/libxmi')
0 files changed, 0 insertions, 0 deletions