summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore17logstatsplain
-rw-r--r--ocaml-menhir.spec7266logstatsplain
-rw-r--r--sources163logstatsplain