summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore17logstatsplain
-rw-r--r--ocaml-menhir.spec5971logstatsplain
-rw-r--r--sources57logstatsplain