diff options
author | Mart Raudsepp <leio@gentoo.org> | 2018-04-05 18:30:21 +0300 |
---|---|---|
committer | Mart Raudsepp <leio@gentoo.org> | 2018-04-05 20:44:10 +0300 |
commit | 89e8fc2621cc2c565a6f7661211d8a011ad0c270 (patch) | |
tree | 6c2f6e0f5b74f0400abd825952fcf594852fc759 /dev-util | |
parent | media-sound/pragha: Bump to 1.3.91 (diff) | |
download | gentoo-89e8fc2621cc2c565a6f7661211d8a011ad0c270.tar.gz gentoo-89e8fc2621cc2c565a6f7661211d8a011ad0c270.tar.bz2 gentoo-89e8fc2621cc2c565a6f7661211d8a011ad0c270.zip |
gnome-extra/gnome-builder: add python3.6 compat
jedi plugin is broken, but that's incompatibility with jedi-0.10+, not
python version related. To be fixed in a revbump instead as I could
use it before I can get to 3.26 yet.
Package-Manager: Portage-2.3.28, Repoman-2.3.9
Diffstat (limited to 'dev-util')
0 files changed, 0 insertions, 0 deletions