aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore592logplainblame
-rw-r--r--CHANGELOG.md21209logplainblame
-rw-r--r--CLAUDE.md58666logplainblame
-rw-r--r--LICENSE34523logplainblame
-rw-r--r--Makefile14120logplainblame
-rw-r--r--README.md7322logplainblame
d---------bin67logplain
-rw-r--r--colitur.opam477logplainblame
d---------data61logplain
-rw-r--r--dune2508logplainblame
-rw-r--r--dune-project269logplainblame
d---------lang142logplain
d---------lib166logplain
d---------man173logplain
d---------schema113logplain
d---------templates61logplain
d---------test1642logplain
d---------tools337logplain