diff options
| author |   Michael Mair-Keimberger <m.mairkeimberger@gmail.com> | 2017-09-27 20:33:17 +0200 |
|---|---|---|
| committer |   Patrice Clement <monsieurp@gentoo.org> | 2017-09-28 12:02:24 +0200 |
| commit | 8f80bc4e37f8e2af8ed7176bf7a61de27fb82504 (patch) | |
| tree | ba8005676b0c1211ca8390dc3b5c60e715ed0523 /dev-tex/pythontex/metadata.xml | |
| parent | media-video/mpv: verbump to 0.27.0 (diff) | |
| download | gentoo-8f80bc4e37f8e2af8ed7176bf7a61de27fb82504.tar.gz gentoo-8f80bc4e37f8e2af8ed7176bf7a61de27fb82504.tar.bz2 gentoo-8f80bc4e37f8e2af8ed7176bf7a61de27fb82504.zip | |
dev-java/common-cli: remove unused file.
Closes: https://github.com/gentoo/gentoo/pull/5800
Diffstat (limited to 'dev-tex/pythontex/metadata.xml')
0 files changed, 0 insertions, 0 deletions