diff options
| author | Auri <me@aurieh.me> | 2017-11-08 19:58:56 +0200 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2017-11-08 17:58:56 +0000 |
| commit | 8a4cf923a8a3017fa683bd27d699d9b14720cd66 (patch) | |
| tree | 7938bae1f68a36c332d3121ed6a1e58b5f8233c0 /test/handler/test_dafny_handler.vader | |
| parent | 86e807401795e3dcc9cac63dd3deb1323d048f13 (diff) | |
| download | ale-8a4cf923a8a3017fa683bd27d699d9b14720cd66.zip | |
Add PyLS linter (#1097)
* Support PyLS (python language server)
* Replace pyls#GetProjectRoot and add more config types to ale#python#FindProjectRoot
Diffstat (limited to 'test/handler/test_dafny_handler.vader')
0 files changed, 0 insertions, 0 deletions