diff options
author | Karel Kočí <cynerd@email.cz> | 2019-09-29 13:56:20 +0200 |
---|---|---|
committer | Karel Kočí <cynerd@email.cz> | 2019-09-29 13:56:20 +0200 |
commit | fd2dcec4b63990e3dafae1f8c2329224bfd653d1 (patch) | |
tree | 468bbb2287bc2409593b7d190282905e39fcaaea /dev-python/jedi/jedi-0.15.1.ebuild | |
parent | cdd27f234184ae3961dc57a7b2c0476a80f4f72d (diff) | |
download | gentoo-personal-overlay-fd2dcec4b63990e3dafae1f8c2329224bfd653d1.tar.gz gentoo-personal-overlay-fd2dcec4b63990e3dafae1f8c2329224bfd653d1.tar.bz2 gentoo-personal-overlay-fd2dcec4b63990e3dafae1f8c2329224bfd653d1.zip |
sys-kernel/linux: update to 5.3.1
Diffstat (limited to 'dev-python/jedi/jedi-0.15.1.ebuild')
0 files changed, 0 insertions, 0 deletions