Taylor Blau da8012971a ale_linters/dafny: lint only saved files

2017-11-08 09:28:24 -08:00

..

dafny.vim

ale_linters/dafny: lint only saved files

2017-11-08 09:28:24 -08:00