summaryrefslogtreecommitdiff
path: root/source/_includes/proof
ModeNameSize
-rw-r--r--end.html15logplain
-rw-r--r--start.html337logplain