diff options
author | w0rp <w0rp@users.noreply.github.com> | 2020-08-05 13:35:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-05 13:35:48 +0100 |
commit | 1bd7b3e4ada513598f263ad9a92e44e550a4b917 (patch) | |
tree | e63d8e511f034c8667c6c3df659daed4f690f4f9 /test/script/run-vint | |
parent | 86d5cb81bd30269ce0c0974673b3ba030b814356 (diff) | |
parent | b29e9867e8729ee507197bb016e8e2c74b33dfc7 (diff) | |
download | ale-1bd7b3e4ada513598f263ad9a92e44e550a4b917.zip |
Merge pull request #3196 from jeremija/autoimport-langserver-pr
Add autoimport and rename support for langservers
Diffstat (limited to 'test/script/run-vint')
0 files changed, 0 insertions, 0 deletions