Commit graph

4 commits

Author SHA1 Message Date
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