summaryrefslogtreecommitdiffabout
ModeNameSize
-rw-r--r--.gitignore22logplain
-rw-r--r--Makefile189logplain
-rw-r--r--README.md581logplain
d---------css37logplain
-rw-r--r--dict.ml3879logplain
-rw-r--r--dune293logplain
-rw-r--r--index.html398logplain
d---------init36logplain
-rw-r--r--myocamlbuild.ml69logplain