diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2019-07-04 14:08:35 +0200 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2019-07-04 14:08:35 +0200 |
| commit | 11e0a12d73a9f4c5276b9e03d2e5a28b5fcc29c6 (patch) | |
| tree | 4cfe79b00475871795a2c1830fea64f4da6187d6 /dev-python/jedi/Manifest | |
| parent | 33e07da36ecba308d1621b7b31ecab8df1843b0b (diff) | |
| download | gentoo-personal-overlay-11e0a12d73a9f4c5276b9e03d2e5a28b5fcc29c6.tar.gz gentoo-personal-overlay-11e0a12d73a9f4c5276b9e03d2e5a28b5fcc29c6.tar.bz2 gentoo-personal-overlay-11e0a12d73a9f4c5276b9e03d2e5a28b5fcc29c6.zip | |
profiles/devel: add some additional tools and libraries
Diffstat (limited to 'dev-python/jedi/Manifest')
0 files changed, 0 insertions, 0 deletions