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