summaryrefslogtreecommitdiff
path: root/Util/Emacs
ModeNameSize
-rw-r--r--dafny-mode.el3356logplain