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