diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2020-06-30 13:43:50 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2020-06-30 13:43:50 +0200 |
| commit | 30d50370a8bf085cd690d476bf56721a86aa5704 (patch) | |
| tree | 58c5d3ba3da0fae0021fe4d3058d1b9728bf7c10 /profiles/desktop/parent | |
| parent | 89a7e12616281a721dca5f0945b7151785d5d8be (diff) | |
| download | gentoo-personal-overlay-30d50370a8bf085cd690d476bf56721a86aa5704.tar.gz gentoo-personal-overlay-30d50370a8bf085cd690d476bf56721a86aa5704.tar.bz2 gentoo-personal-overlay-30d50370a8bf085cd690d476bf56721a86aa5704.zip | |
dev-python/jedi: remove as it is now in upstream
Diffstat (limited to 'profiles/desktop/parent')
0 files changed, 0 insertions, 0 deletions