summaryrefslogtreecommitdiff
ModeNameSize
d---------.github74logplain
-rw-r--r--.gitignore212logplain
-rw-r--r--.merlin69logplain
-rw-r--r--.ocamlformat223logplain
-rw-r--r--.travis.yml431logplain
-rw-r--r--CHANGES.md3446logplain
-rw-r--r--LICENSE1096logplain
-rw-r--r--Makefile467logplain
-rw-r--r--README.md7570logplain
d---------debian667logplain
-rw-r--r--dune-project838logplain
d---------examples318logplain
-rw-r--r--sedlex.opam1140logplain
-rw-r--r--sedlex.opam.template59logplain
d---------src132logplain
d---------test105logplain