summaryrefslogtreecommitdiff
path: root/Util/Emacs
ModeNameSize
-rw-r--r--boogie-mode.el3813logplain