Fix dependency regression introduced in c6fc00b5e88813e0510b2ae76fb838c21648d36d
treeafd00d7c960040d737b37fbe27be50fce15875fd
-rw-r--r-- 58 .dir-locals.el
drwxr-xr-x - .github
-rw-r--r-- 61 .gitignore
-rw-r--r-- 238 .mailmap
-rw-r--r-- 12 .merlin
-rw-r--r-- 32 .ocp-indent
-rw-r--r-- 913 BUILDING
-rw-r--r-- 50 INSTALL
-rw-r--r-- 192 LICENSE
-rw-r--r-- 271 README
-rw-r--r-- 806 Thanks
drwxr-xr-x - adoc
-rwxr-xr-x 120 ahbs
-rwxr-xr-x 10925 build.bash
-rw-r--r-- 47017 config.ml
-rw-r--r-- 1464 cutils.c
-rw-r--r-- 741 cutils.h
-rw-r--r-- 474 diag.h
-rw-r--r-- 3189 ffi.ml
-rw-r--r-- 3464 genconfstruct.sh
-rw-r--r-- 11357 glfont.c
-rw-r--r-- 1073 glutils.ml
-rw-r--r-- 503 glutils.mli
-rw-r--r-- 7716 help.ml
-rw-r--r-- 168 help.mli
-rw-r--r-- 614 keys.ml
-rw-r--r-- 229 keys.mli
drwxr-xr-x - lablGL
-rw-r--r-- 98861 link.c
-rw-r--r-- 144440 main.ml
-rw-r--r-- 0 main.mli
drwxr-xr-x - misc
-rw-r--r-- 9070 parser.ml
-rw-r--r-- 568 parser.mli
-rw-r--r-- 681 todo.org
-rw-r--r-- 23198 uiutils.ml
-rw-r--r-- 3273 uiutils.mli
-rw-r--r-- 115 utf8syms.ml
-rw-r--r-- 7645 utils.ml
-rw-r--r-- 115 version.c
drwxr-xr-x - wsi