summaryrefslogtreecommitdiff
path: root/Util/Emacs
ModeNameSize
-rw-r--r--dafny-mode.el3438logplain
-rw-r--r--jennisys-mode.el3198logplain