Crude but worksmaster
tree25a548aceca891fc646a4b7ee6388e5131dd6470
-rw-r--r-- 53 .dir-locals.el
-rw-r--r-- 180 .gitignore
-rw-r--r-- 221 .mailmap
-rw-r--r-- 12 .merlin
-rw-r--r-- 32 .ocp-indent
-rw-r--r-- 1085 BUILDING
-rw-r--r-- 50 INSTALL
-rw-r--r-- 8065 KEYS
-rw-r--r-- 468 README
-rw-r--r-- 806 Thanks
-rwxr-xr-x 7635 build.bash
-rw-r--r-- 62776 config.ml
-rw-r--r-- 352 diag.h
-rw-r--r-- 11843 glfont.c
-rw-r--r-- 176 keys.ml
drwxr-xr-x - lablGL
-rw-r--r-- 117434 link.c
-rw-r--r-- 193202 main.ml
drwxr-xr-x - man
drwxr-xr-x - misc
-rw-r--r-- 9197 parser.ml
-rw-r--r-- 2116 todo.org
-rw-r--r-- 8299 utils.ml
-rw-r--r-- 1611 wsi.mli
drwxr-xr-x - wsi