/Admin/
drwxr-xr-x [up]
drwxr-xr-x Benchmarks
drwxr-xr-x E
drwxr-xr-x Mercurial
drwxr-xr-x isatest
drwxr-xr-x polyml
-rw-r--r-- 2008-07-17 17:01 +0200 806 CHECKLIST
-rw-r--r-- 2008-07-17 17:01 +0200 138 README
-rw-r--r-- 2008-07-17 17:01 +0200 2021 README.repos
-rwxr-xr-x 2008-07-17 17:01 +0200 2466 build
-rwxr-xr-x 2008-07-17 17:01 +0200 742 check_ml_headers
-rwxr-xr-x 2008-07-17 17:01 +0200 2656 isasync
-rwxr-xr-x 2008-07-17 17:01 +0200 607 linktest
-rwxr-xr-x 2008-07-17 17:01 +0200 882 make_everything
-rwxr-xr-x 2008-07-17 17:01 +0200 2945 makebin
-rwxr-xr-x 2008-07-17 17:01 +0200 5702 makedist
-rwxr-xr-x 2008-07-17 17:01 +0200 379 mirror-website
-rwxr-xr-x 2008-07-17 17:01 +0200 578 profiling_report
-rwxr-xr-x 2008-07-17 17:01 +0200 333 profiling_reports
-rwxr-xr-x 2008-07-17 17:01 +0200 211 psbooklet
-rwxr-xr-x 2008-07-17 17:01 +0200 126 rsyncd
-rw-r--r-- 2008-07-17 17:01 +0200 423 rsyncd.conf
-rwxr-xr-x 2008-07-17 17:01 +0200 770 update-keywords