diff options
author | Karel Kočí <karel.koci@nic.cz> | 2019-07-04 14:08:35 +0200 |
---|---|---|
committer | Karel Kočí <karel.koci@nic.cz> | 2019-07-04 14:08:35 +0200 |
commit | 11e0a12d73a9f4c5276b9e03d2e5a28b5fcc29c6 (patch) | |
tree | 4cfe79b00475871795a2c1830fea64f4da6187d6 /profiles/desktop | |
parent | 33e07da36ecba308d1621b7b31ecab8df1843b0b (diff) | |
download | gentoo-personal-overlay-11e0a12d73a9f4c5276b9e03d2e5a28b5fcc29c6.tar.gz gentoo-personal-overlay-11e0a12d73a9f4c5276b9e03d2e5a28b5fcc29c6.tar.bz2 gentoo-personal-overlay-11e0a12d73a9f4c5276b9e03d2e5a28b5fcc29c6.zip |
profiles/devel: add some additional tools and libraries
Diffstat (limited to 'profiles/desktop')
0 files changed, 0 insertions, 0 deletions