diff options
| author | Michaël Ball <michael.ball@gmail.com> | 2019-10-12 13:54:36 +0100 |
|---|---|---|
| committer | Michaël Ball <michael.ball@gmail.com> | 2019-10-12 13:54:36 +0100 |
| commit | f2e9f1af4a16a8b3bb31f584f90323c7b957dc5c (patch) | |
| tree | e1bc0ec22a2f8c59c8f5a8684b50ef6174e3a1bd /.gitignore | |
| parent | 799ba8781c6489fe420407b47353c9da368f5823 (diff) | |
Automatically download MS Python language server
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions