aboutsummaryrefslogtreecommitdiffstats
ModeNameSize
-rw-r--r--.gitignore52logstatsplainblame
-rw-r--r--README.org5525logstatsplainblame
d---------docs145logstatsplain
-rw-r--r--dune-project512logstatsplainblame
-rw-r--r--flake.nix1797logstatsplainblame
d---------lib176logstatsplain
-rw-r--r--sol.opam719logstatsplainblame
d---------test72logstatsplain