Alex Branham
f9000031ed
python-language-server: 0.25.0 -> 0.26.1
2019-04-17 08:51:05 -05:00
betaboon
48343d0dd0
python-language-server: 0.21.2 -> 0.25.0
2019-03-20 23:37:21 +01:00
Jörg Thalheim
63668d33b2
python-language-server: 0.19.0 -> 0.21.2
2018-09-12 09:03:08 +01:00
Daiderd Jordan
5b2ff69544
python-language-server: add providers option
...
Adding all of the extra dependencies isn't always desirable and
overriding a bunch of inputs is a bit cumbersome and brittle.
eg.
python-language-server.override { providers = ["rope"]; }
2018-08-06 20:41:52 +02:00
Daiderd Jordan
d12afcf734
python-language-server: 0.18.0 -> 0.19.0
2018-08-06 19:48:24 +02:00
Jörg Thalheim
88b94b7882
python.pkgs.python-language-server: init at 0.18.0
2018-05-25 11:00:31 +01:00
