aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore592logplainblame
-rw-r--r--CHANGELOG.md25220logplainblame
-rw-r--r--CLAUDE.md60701logplainblame
-rw-r--r--LICENSE34523logplainblame
-rw-r--r--Makefile14120logplainblame
-rw-r--r--README.md7799logplainblame
d---------bin67logplain
-rw-r--r--colitur.opam476logplainblame
d---------data61logplain
-rw-r--r--dune2508logplainblame
-rw-r--r--dune-project268logplainblame
d---------lang142logplain
d---------lib166logplain
d---------man173logplain
d---------schema113logplain
d---------templates61logplain
d---------test1780logplain
d---------tools484logplain