diff options
| author | Karel Kočí <cynerd@email.cz> | 2019-06-15 22:25:18 +0200 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2019-06-15 22:25:18 +0200 |
| commit | a9505d77407c9c713c41191c40397c95f1e56335 (patch) | |
| tree | 3fc40d353d8d3e755cdab513aa53d8c8f9a39097 /dev-python/jedi/jedi-0.13.3.ebuild | |
| parent | 3d9e70c42f854c9cafc83fa606bbf9bb7ba9be5a (diff) | |
| download | gentoo-personal-overlay-a9505d77407c9c713c41191c40397c95f1e56335.tar.gz gentoo-personal-overlay-a9505d77407c9c713c41191c40397c95f1e56335.tar.bz2 gentoo-personal-overlay-a9505d77407c9c713c41191c40397c95f1e56335.zip | |
sys-kernel/linux: update to 5.1.10
Diffstat (limited to 'dev-python/jedi/jedi-0.13.3.ebuild')
0 files changed, 0 insertions, 0 deletions