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