diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-03-21 11:58:26 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-03-21 11:58:26 +0100 |
| commit | dcff9bda97d088a717d6f7c01bdf7c0e68d62b9b (patch) | |
| tree | dee078e1f5e8622e023a474fa8b063259160f6db /gnu/local.mk | |
| parent | 8198c19c127a02eb238a59a15c17aa2100ce9574 (diff) | |
| download | patches-dcff9bda97d088a717d6f7c01bdf7c0e68d62b9b.tar patches-dcff9bda97d088a717d6f7c01bdf7c0e68d62b9b.tar.gz | |
gnu: python-language-server: Build with python-jedi@0.15.2.
* gnu/packages/python-xyz.scm (python-language-server)[propagated-inputs]:
Remove PYTHON-JEDI. Add PYTHON-JEDI-0.15.
(python-jedi-0.15, python-parso-0.5): New public variables.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions