summaryrefslogtreecommitdiffabout
ModeNameSize
-rw-r--r--.gitignore22logplain
-rw-r--r--Makefile183logplain
-rw-r--r--README.md581logplain
d---------css37logplain
-rw-r--r--dict.ml3831logplain
-rw-r--r--dune297logplain
-rw-r--r--index.html398logplain
d---------init36logplain
-rw-r--r--myocamlbuild.ml69logplain