aboutsummaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore58logstatsplain
-rw-r--r--CONTRIBUTING.md2418logstatsplain
-rw-r--r--Makefile306logstatsplain
-rw-r--r--README.md655logstatsplain
d---------bin79logstatsplain
d---------doc42logstatsplain
-rw-r--r--dune-project35logstatsplain
d---------lib178logstatsplain
-rw-r--r--logarion-xml.opam540logstatsplain