diff options
| author | w0rp <devw0rp@gmail.com> | 2017-11-09 10:32:41 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-11-09 10:32:41 +0000 |
| commit | 8ef8a35462e9d3fbfe3fdf704e06ab957fb4ed7f (patch) | |
| tree | 42f6f430d11ee003758daad88f639565ee5d20cc /test/handler/test_dafny_handler.vader | |
| parent | 8a4cf923a8a3017fa683bd27d699d9b14720cd66 (diff) | |
| download | ale-8ef8a35462e9d3fbfe3fdf704e06ab957fb4ed7f.zip | |
Fix #1101 - Ignore no-implicit-dependencies errors until TSLint supports checking via stdin properly
Diffstat (limited to 'test/handler/test_dafny_handler.vader')
0 files changed, 0 insertions, 0 deletions