diff options
| author | Karel Kočí <cynerd@email.cz> | 2020-06-29 17:14:22 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2020-06-29 17:14:22 +0200 |
| commit | 0cf272806dd653e8ed39bb88f94e16e628038cc7 (patch) | |
| tree | 4e0a0d2938ff6b2a3612b1dd0a9cfccc951ebab9 /media-sound/txppm | |
| parent | 68be1b6ff60805009ed0fabf5f059ebeb314d152 (diff) | |
| download | gentoo-personal-overlay-0cf272806dd653e8ed39bb88f94e16e628038cc7.tar.gz gentoo-personal-overlay-0cf272806dd653e8ed39bb88f94e16e628038cc7.tar.bz2 gentoo-personal-overlay-0cf272806dd653e8ed39bb88f94e16e628038cc7.zip | |
dev-python/jedi: update to versiuon 0.17.1
Diffstat (limited to 'media-sound/txppm')
0 files changed, 0 insertions, 0 deletions