Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | .gitignore | 20 | logplain |
-rw-r--r-- | COPYING | 1056 | logplain |
-rw-r--r-- | Makefile | 184 | logplain |
-rw-r--r-- | README | 466 | logplain |
-rw-r--r-- | gui.ml | 10820 | logplain |
-rw-r--r-- | json.mll | 7590 | logplain |
-rw-r--r-- | main.ml | 4033 | logplain |
-rw-r--r-- | vndbApi.ml | 5793 | logplain |