summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore20logplain
-rw-r--r--COPYING1056logplain
-rw-r--r--Makefile184logplain
-rw-r--r--README466logplain
-rw-r--r--gui.ml3878logplain
-rw-r--r--json.mll7590logplain
-rw-r--r--main.ml1848logplain
-rw-r--r--vndbApi.ml5341logplain