summaryrefslogtreecommitdiff
path: root/Util
ModeNameSize
-rw-r--r--BoogieDafnyBuildandTest.cmd523logplain
d---------Emacs85logplain
d---------latex37logplain
d---------vim74logplain