aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/coqdoc
ModeNameSize
-rw-r--r--links.v1652logplain