aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore262logplainblame
-rw-r--r--CHANGELOG.md10295logplainblame
-rw-r--r--CLAUDE.md56887logplainblame
-rw-r--r--LICENSE34523logplainblame
-rw-r--r--Makefile4796logplainblame
-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---------man82logplain
d---------test941logplain
d---------tools240logplain