summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore96logstatsplain
-rw-r--r--ocaml-menhir.spec5737logstatsplain
-rw-r--r--sources57logstatsplain