summaryrefslogtreecommitdiff
path: root/ale_linters/dafny/dafny.vim
AgeCommit message (Expand)Author
2017-11-08ale_linters/dafny: lint only saved filesTaylor Blau
2017-11-07ale_linters: add 'dafny' linterTaylor Blau