Files
nixpkgs/pkgs
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
..
2018-08-03 16:56:46 +02:00
2018-08-05 20:34:24 +02:00
2018-08-06 12:25:25 +02:00
2018-08-05 21:00:55 +02:00
2018-07-28 12:31:35 +02:00