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