diff options
author | Karel Kočí <cynerd@email.cz> | 2020-06-29 17:17:26 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2020-06-29 17:17:26 +0200 |
commit | 59871423da9a76acc847fd36133fceae0dc92914 (patch) | |
tree | 0bc29713f12a25563be7bc7773cba5b488fa0ebf /dev-python/jedi | |
parent | 859327786e3d9dfc117cd3eb2f76243a870036c9 (diff) | |
download | gentoo-personal-overlay-59871423da9a76acc847fd36133fceae0dc92914.tar.gz gentoo-personal-overlay-59871423da9a76acc847fd36133fceae0dc92914.tar.bz2 gentoo-personal-overlay-59871423da9a76acc847fd36133fceae0dc92914.zip |
dev-python/python-prctl: drop as this version is now in upstream
Diffstat (limited to 'dev-python/jedi')
0 files changed, 0 insertions, 0 deletions