Clean up: remove wrong header files
treeacf3719d12f43b5c152c814a01ded7f17e6dd7f3
-rwxr-xr-x 885 README.TXT
-rwxr-xr-x 70 make.sh
-rwxr-xr-x 308 make_all.sh
drwxr-xr-x - release
drwxr-xr-x - toolchain
drwxr-xr-x - tools