summaryrefslogtreecommitdiff
path: root/config
ModeNameSize
-rw-r--r--coq_config.mli2811logplain