summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--50metamath-mode-gentoo.el185logplain