diff options
author | Marius Bakke <mbakke@fastmail.com> | 2020-03-15 14:23:51 +0100 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2020-03-15 15:09:07 +0100 |
commit | 745041b59ff90195c5d5aad98310f5ad1a34a693 (patch) | |
tree | b52f8b6ab500e4f4920e86a8c1ec6025aafc6eb7 /gnu/machine | |
parent | ab6e4ab8c3412e28cf75f758da757da843ace902 (diff) |
gnu: python-jedi: Update to 0.16.
* gnu/packages/patches/python-jedi-deleted-variables.patch: New file.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/python-xyz.scm (python-jedi): Update to 0.16.
[source](patches): New field.
Diffstat (limited to 'gnu/machine')
0 files changed, 0 insertions, 0 deletions