diff options
author | Karel Kočí <cynerd@email.cz> | 2020-05-11 09:28:59 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2020-05-11 09:29:32 +0200 |
commit | 16826545c64dc8447a2a1dbdbc2fca350e869bd0 (patch) | |
tree | e9472041743bc902c38567fa7d96d42ba59cffd0 /profiles/compile/packages | |
parent | 66a71f166b505052f3de4ab36132c153e97b1672 (diff) | |
download | gentoo-personal-overlay-16826545c64dc8447a2a1dbdbc2fca350e869bd0.tar.gz gentoo-personal-overlay-16826545c64dc8447a2a1dbdbc2fca350e869bd0.tar.bz2 gentoo-personal-overlay-16826545c64dc8447a2a1dbdbc2fca350e869bd0.zip |
profile: add few packages and such
Diffstat (limited to 'profiles/compile/packages')
-rw-r--r-- | profiles/compile/packages | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/profiles/compile/packages b/profiles/compile/packages index ddc30be..6204965 100644 --- a/profiles/compile/packages +++ b/profiles/compile/packages @@ -12,6 +12,7 @@ dev-python/pylint dev-python/pip dev-python/cython dev-python/pytest +dev-python/pytest-html dev-python/coverage # Aditional tools |