summaryrefslogtreecommitdiff
path: root/Util/vim
ModeNameSize
-rw-r--r--dafny.vim1800logplain