summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore20logplain
-rw-r--r--COPYING1061logplain
-rw-r--r--Makefile184logplain
-rw-r--r--README466logplain
-rw-r--r--gui.ml12079logplain
-rw-r--r--json.mll9712logplain
-rw-r--r--main.ml5242logplain
-rw-r--r--vndbApi.ml7500logplain