diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-02-07 22:58:18 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-02-07 22:58:18 +0100 |
| commit | 41dec293283ea9dd815e50091f7a97bc6ade50e7 (patch) | |
| tree | ca8e5670b8d0d81ecd5ea1d84988de69c9e82250 /media-sound/txppm | |
| parent | 0d44a2c84b39488db02401f512ff4b4f01162a4b (diff) | |
| download | gentoo-personal-overlay-41dec293283ea9dd815e50091f7a97bc6ade50e7.tar.gz gentoo-personal-overlay-41dec293283ea9dd815e50091f7a97bc6ade50e7.tar.bz2 gentoo-personal-overlay-41dec293283ea9dd815e50091f7a97bc6ade50e7.zip | |
Move latex fonts to latex profile
Diffstat (limited to 'media-sound/txppm')
0 files changed, 0 insertions, 0 deletions