/tools/build/
drwxr-xr-x [up]
-rw-r--r-- 2008-10-30 09:45 +0100 1043 README
-rwxr-xr-x 2008-10-30 09:45 +0100 7265 check-modules.pl
-rw-r--r-- 2008-10-30 09:45 +0100 1471 gnome-tip-nightly
-rwxr-xr-x 2008-10-30 09:45 +0100 2688 mozilla-src-tarball
-rwxr-xr-x 2008-10-30 09:45 +0100 116 sync-all-configures
-rwxr-xr-x 2008-10-30 09:45 +0100 1884 sync-configure