/Admin/
drwxr-xr-x [up]
-rw-r--r-- 1997-12-31 15:17 +0100 590 BUGS
-rw-r--r-- 1997-12-31 15:17 +0100 137 README
-rwxr-xr-x 1997-12-31 15:17 +0100 2542 fixencoding
-rwxr-xr-x 1997-12-31 15:17 +0100 3153 makedist
-rwxr-xr-x 1997-12-31 15:17 +0100 203 psbooklet