Fix incorrect merge done in b2786133b63f52b642278ef4d81446250d1a9124
tree3f430ffc08ce0ac9f648065cde68e3aca97e8a0d
-rwxr-xr-x 48392 CHANGELOG
-rw-r--r-- 593 COPYING
-rwxr-xr-x 885 README.TXT
-rwxr-xr-x 648 VERSION
-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