/tools/
drwxr-xr-x [up]
-rw-r--r-- 2010-10-10 20:19 +0100 132445 buildrom.pm
-rw-r--r-- 2010-10-10 20:19 +0100 5858 filter_obyfile.pl
-rw-r--r-- 2010-10-10 20:19 +0100 3127 packages_in_rom.pl
-rw-r--r-- 2010-10-10 20:19 +0100 1958 repair_obyfile.pl
-rw-r--r-- 2010-10-10 20:19 +0100 3536 static_dependencies.pl