diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2019-09-17 09:43:25 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2019-09-17 09:43:25 +0200 |
| commit | 2a798d60e3441228ae81a11dc79b941c3f93e129 (patch) | |
| tree | 6403dacf6895efaaecff459270dcdca77c040ab3 /media-sound/txppm/txppm-180112-r1.ebuild | |
| parent | de00fccbf108bb3781ede3ae174da5b126c6d38f (diff) | |
| download | gentoo-personal-overlay-2a798d60e3441228ae81a11dc79b941c3f93e129.tar.gz gentoo-personal-overlay-2a798d60e3441228ae81a11dc79b941c3f93e129.tar.bz2 gentoo-personal-overlay-2a798d60e3441228ae81a11dc79b941c3f93e129.zip | |
dev-python/jedi: update to 0.15.1
Diffstat (limited to 'media-sound/txppm/txppm-180112-r1.ebuild')
0 files changed, 0 insertions, 0 deletions