/Admin/
drwxr-xr-x [up]
drwxr-xr-x Benchmarks
drwxr-xr-x page
-rw-r--r-- 2000-07-14 16:27 +0200 590 BUGS
-rw-r--r-- 2000-07-14 16:27 +0200 340 MIRRORS
-rw-r--r-- 2000-07-14 16:27 +0200 137 README
-rw-r--r-- 2000-07-14 16:27 +0200 921 README-rpm.html
-rwxr-xr-x 2000-07-14 16:27 +0200 2224 filesizes
-rwxr-xr-x 2000-07-14 16:27 +0200 2544 fixencoding
-rwxr-xr-x 2000-07-14 16:27 +0200 4099 makedist
-rwxr-xr-x 2000-07-14 16:27 +0200 1110 makepage
-rwxr-xr-x 2000-07-14 16:27 +0200 7138 makerpm
-rwxr-xr-x 2000-07-14 16:27 +0200 831 maketags
-rwxr-xr-x 2000-07-14 16:27 +0200 336 mirror-dist
-rwxr-xr-x 2000-07-14 16:27 +0200 435 mirror-main
-rwxr-xr-x 2000-07-14 16:27 +0200 203 psbooklet
-rwxr-xr-x 2000-07-14 16:27 +0200 2522 rsync-isabelle
-rwxr-xr-x 2000-07-14 16:27 +0200 122 rsyncd
-rw-r--r-- 2000-07-14 16:27 +0200 246 rsyncd.conf