diff options
author | Karel Kočí <cynerd@email.cz> | 2018-07-25 19:59:19 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2018-07-25 19:59:19 +0200 |
commit | a59020628aad356497528c7108bdd658e4ed3e1b (patch) | |
tree | 7a5158e4e2a625d05c904a3f386899f9cf388896 /profiles/latex/package.use | |
parent | 2395bad87383b3c2ca65b42d3610f8b6f9f2805f (diff) | |
download | gentoo-personal-overlay-a59020628aad356497528c7108bdd658e4ed3e1b.tar.gz gentoo-personal-overlay-a59020628aad356497528c7108bdd658e4ed3e1b.tar.bz2 gentoo-personal-overlay-a59020628aad356497528c7108bdd658e4ed3e1b.zip |
Add android-tools to devel profile
Diffstat (limited to 'profiles/latex/package.use')
0 files changed, 0 insertions, 0 deletions