summaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore24logstatsplain
-rw-r--r--0001-Makfile-use-menhir-ocamldep-instead-of-ocamldep.wra.patch4621logstatsplain
-rw-r--r--ocaml-menhir.spec4513logstatsplain
-rw-r--r--sources57logstatsplain