summaryrefslogtreecommitdiff
ModeNameSize
d---------.github / workflows36logplain
-rw-r--r--.gitignore35logplain
-rw-r--r--.ocp-indent890logplain
-rw-r--r--.travis.yml333logplain
-rw-r--r--CODEOWNERS371logplain
-rw-r--r--Changes.md3002logplain
-rw-r--r--INSTALL.md265logplain
-rw-r--r--LICENSE.md1499logplain
-rw-r--r--Makefile175logplain
-rw-r--r--README.md13753logplain
-rw-r--r--VERSION6logplain
-rw-r--r--appveyor.yml338logplain
-rw-r--r--cppo.opam1025logplain
-rw-r--r--cppo_ocamlbuild.opam959logplain
d---------debian619logplain
-rw-r--r--dune-project1083logplain
d---------examples178logplain
d---------ocamlbuild_plugin158logplain
d---------src489logplain
d---------test912logplain