/Admin/
drwxr-xr-x [up]
drwxr-xr-x page
-rw-r--r-- 1999-01-14 14:39 +0100 590 BUGS
-rw-r--r-- 1999-01-14 14:39 +0100 137 README
-rwxr-xr-x 1999-01-14 14:39 +0100 2544 fixencoding
-rw-r--r-- 1999-01-14 14:39 +0100 2161 index.html
-rwxr-xr-x 1999-01-14 14:39 +0100 3871 makedist
-rwxr-xr-x 1999-01-14 14:39 +0100 203 psbooklet