summaryrefslogtreecommitdiff
path: root/ale_linters/dafny
ModeNameSize
-rw-r--r--dafny.vim728logplain