Merge branch 'master' of ssh://git.nguyen.vg/tatoo
-rw-r--r-- 111 .gitignore
-rw-r--r-- 26 AUTHORS
-rw-r--r-- 850 COPYING
-rw-r--r-- 230 HACKING
-rw-r--r-- 8654 LICENSE
-rw-r--r-- 491 _tags
-rwxr-xr-x 1792 build
drwxr-xr-x - include
-rw-r--r-- 62 main.itarget
-rw-r--r-- 1857 myocamlbuild.ml
drwxr-xr-x - src
drwxr-xr-x - tests
drwxr-xr-x - tools