Merge branch 'master' of ssh://git.nguyen.vg/tatoo
-rw-r--r-- 23 .gitignore
-rw-r--r-- 850 COPYING
-rw-r--r-- 104 HACKING
-rw-r--r-- 8654 LICENSE
drwxr-xr-x - include
-rw-r--r-- 5062 myocamlbuild.ml
-rw-r--r-- 444 myocamlbuild_config.ml
-rwxr-xr-x 260 run_tests
drwxr-xr-x - src
drwxr-xr-x - tests