summaryrefslogtreecommitdiffstats
path: root/lib/Lintian/Screen/Coq
ModeNameSize
d---------Cmxs44logstatsplain
generated by cgit v1.2.3 (git 2.39.1) at 2025-01-09 05:02:33 +0000