/tools/
drwxr-xr-x [up]
-rwxr-xr-x 2008-08-20 12:08 +0000 4783 addToolVersion.sh
-rwxr-xr-x 2008-08-20 12:08 +0000 44914 config.guess
-rwxr-xr-x 2008-08-20 12:08 +0000 33704 config.sub
-rwxr-xr-x 2008-08-20 12:08 +0000 364 extract-config.sh
-rwxr-xr-x 2008-08-20 12:08 +0000 799 patch-renumber.sh
-rw-r--r-- 2008-08-20 12:08 +0000 3492 populate.in
-rw-r--r-- 2008-08-20 12:08 +0000 1064 tools.mk