rwxr-xr-x 4273/0      0 Dec 27 18:08 1993 manuals/
rw-r--r-- 4273/0    319 Aug 19 02:26 1993 manuals/LIST-OF-FILES
rw-r--r-- 4273/0   9149 Aug 19 02:26 1993 manuals/README
rw-r--r-- 4273/0 331452 Aug 19 02:30 1993 manuals/bad-honef.ps
rw-r--r-- 4273/0 326298 Aug 19 02:30 1993 manuals/fw-manual.ps
rw-r--r-- 4273/0 925692 Aug 19 02:30 1993 manuals/index.ps
rw-r--r-- 4273/0  71703 Aug 19 02:30 1993 manuals/install.ps
rw-r--r-- 4273/0 267770 Aug 19 02:30 1993 manuals/intro.ps
rw-r--r-- 4273/0 182486 Aug 19 02:30 1993 manuals/manual.ps
rw-r--r-- 4273/0 259120 Aug 19 02:31 1993 manuals/taxon.ps
rw-r--r-- 4273/0  66019 Aug 19 02:31 1993 manuals/toplevel.ps
rw-r--r-- 4273/0  73028 Aug 19 02:29 1993 manuals/RFM-Manual.ps