workaround bug in ocaml 3.10.x
tree40d677ea6307136fd1e3b35beecbf11a5743a1d7
-rw-r--r-- 462 .cvsignore
-rw-r--r-- 67 ChangeLog
-rw-r--r-- 18018 Copying.txt
-rw-r--r-- 35 Developers.txt
-rw-r--r-- 24 Install.txt
drwxr-xr-x - build
drwxr-xr-x - config
-rwxr-xr-x 1167 configure
drwxr-xr-x - distrib
drwxr-xr-x - docs
drwxr-xr-x - icons
drwxr-xr-x - packages
drwxr-xr-x - patches
drwxr-xr-x - src
drwxr-xr-x - tools