Changes to defaults
treed8bbe761df0a1c57d0c682beabd51727f9b49fa7
-rw-r--r-- 593 COPYING
-rwxr-xr-x 885 README.TXT
drwxr-xr-x - Result
-rwxr-xr-x 70 make.sh
-rwxr-xr-x 308 make_all.sh
drwxr-xr-x - release
drwxr-xr-x - tools-src
drwxr-xr-x - tools