diff options
| author | andys8 <andys8@users.noreply.github.com> | 2019-09-03 21:59:27 +0200 |
|---|---|---|
| committer | andys8 <andys8@users.noreply.github.com> | 2019-09-04 00:20:12 +0200 |
| commit | bd1f7e142036bb7139ba53c99ad8fd3fd376f4be (patch) | |
| tree | d4ff22316acea860d98e72b1cacc3a46ed75beae /test/handler/test_dafny_handler.vader | |
| parent | 6e18c03d80c323e740f87103fc05955b5c61b54e (diff) | |
| download | ale-bd1f7e142036bb7139ba53c99ad8fd3fd376f4be.zip | |
Elm language server params update
* There is a new param 'elmAnalyseTrigger' (change|save|never)
* Empty path default to let the language server search for binary
Diffstat (limited to 'test/handler/test_dafny_handler.vader')
0 files changed, 0 insertions, 0 deletions