aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore262logplainblame
-rw-r--r--CHANGELOG.md6290logplainblame
-rw-r--r--CLAUDE.md55439logplainblame
-rw-r--r--LICENSE34523logplainblame
-rw-r--r--Makefile4393logplainblame
-rw-r--r--README.md1045logplainblame
d---------bin67logplain
-rw-r--r--colitur.opam476logplainblame
d---------data61logplain
-rw-r--r--dune1778logplainblame
-rw-r--r--dune-project268logplainblame
d---------lib65logplain
d---------man37logplain
d---------test941logplain
d---------tools190logplain