/Admin/
drwxr-xr-x [up]
-rw-r--r-- 1998-10-09 14:19 +0200 590 BUGS
-rw-r--r-- 1998-10-09 14:19 +0200 137 README
-rwxr-xr-x 1998-10-09 14:19 +0200 2543 fixencoding
-rw-r--r-- 1998-10-09 14:19 +0200 2103 index.html
-rwxr-xr-x 1998-10-09 14:19 +0200 3848 makedist
-rwxr-xr-x 1998-10-09 14:19 +0200 203 psbooklet