diff options
author | Karel Kočí <cynerd@email.cz> | 2019-05-17 17:40:42 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2019-05-17 17:40:42 +0200 |
commit | 1815cf8e66c61bd144ba9e590cf9c06d20ad0ae0 (patch) | |
tree | 620dfe242892f83aaa012ff4fb22cc7b69c0faf9 /dev-python/jedi/jedi-0.13.3.ebuild | |
parent | 1753f2e6ec19bf8d678dd8510f627299cd407ee7 (diff) | |
download | gentoo-personal-overlay-1815cf8e66c61bd144ba9e590cf9c06d20ad0ae0.tar.gz gentoo-personal-overlay-1815cf8e66c61bd144ba9e590cf9c06d20ad0ae0.tar.bz2 gentoo-personal-overlay-1815cf8e66c61bd144ba9e590cf9c06d20ad0ae0.zip |
profiles/desktop: drop numix-frost
I no longer using it.
Diffstat (limited to 'dev-python/jedi/jedi-0.13.3.ebuild')
0 files changed, 0 insertions, 0 deletions