minor tweak
tree68d26227bce0fdc38ad0c98e5a845403c890441a
-rw-r--r-- 68 .gitignore
-rw-r--r-- 525 CHANGES
-rw-r--r-- 1074 COPYING
-rw-r--r-- 176 Makefile
-rw-r--r-- 30768 OCamlMakefile
-rw-r--r-- 498 README
drwxr-xr-x - lib
drwxr-xr-x - syntax
drwxr-xr-x - tests