diff options
| author | Taylor Blau <me@ttaylorr.com> | 2017-11-08 09:28:24 -0800 |
|---|---|---|
| committer | Taylor Blau <me@ttaylorr.com> | 2017-11-08 09:28:24 -0800 |
| commit | da8012971a5f0e6af63b94bc2fc2e8307c09e1c2 (patch) | |
| tree | ea3a1c303303c700f04532e9fed23ecdb6156dad /test | |
| parent | 105251c1de75d2c6775175eb012bf8eb600e2a44 (diff) | |
| download | ale-da8012971a5f0e6af63b94bc2fc2e8307c09e1c2.zip | |
ale_linters/dafny: lint only saved files
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions