diff options
| author | w0rp <devw0rp@gmail.com> | 2019-02-26 16:57:57 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2019-02-26 16:57:57 +0000 |
| commit | 37a1d24a36399338a3238f94a92d4db97b8255f3 (patch) | |
| tree | 04aeb56e3c4ef028f4010809a519d5c980d6a4ba /ale_linters/dafny/dafny.vim | |
| parent | 38009b8e58133739ceb47d46bddb46620c33317f (diff) | |
| download | ale-37a1d24a36399338a3238f94a92d4db97b8255f3.zip | |
Skip the command#Run test for fixers on Windows
Diffstat (limited to 'ale_linters/dafny/dafny.vim')
0 files changed, 0 insertions, 0 deletions