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 | |
| 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')
0 files changed, 0 insertions, 0 deletions