Merge branch 'lucca-master' of ssh://git.nguyen.vg/tatoo into lucca-master
-rw-r--r-- 52 .gitignore
-rw-r--r-- 850 COPYING
-rw-r--r-- 70 HACKING
-rw-r--r-- 8654 LICENSE
drwxr-xr-x - doc
drwxr-xr-x - include
-rw-r--r-- 5062 myocamlbuild.ml
-rw-r--r-- 444 myocamlbuild_config.ml
-rwxr-xr-x 682 run_tests
drwxr-xr-x - src
drwxr-xr-x - tests