diff options
| author | Daiderd Jordan <daiderd@gmail.com> | 2018-08-06 20:41:52 +0200 |
|---|---|---|
| committer | Daiderd Jordan <daiderd@gmail.com> | 2018-08-06 20:41:52 +0200 |
| commit | 5b2ff695449519ed6bb31736d8a48ab132f6a0d9 (patch) | |
| tree | c97e4266727338616d68b2de4557fc500dfd7e6d /pkgs/development/python-modules/GitPython/hardcode-git-path.patch | |
| parent | d12afcf73463ef10d0ac5ed2162ba7e8d26bba8e (diff) | |
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"]; }
Diffstat (limited to 'pkgs/development/python-modules/GitPython/hardcode-git-path.patch')
0 files changed, 0 insertions, 0 deletions