/fastdir.pike/1.10/Sun Aug 31 21:23:37 1997//
/indexfiles.pike/1.5/Sun Aug 31 21:23:37 1997//
/directories.pike/1.18/Sun Oct  5 03:44:58 1997//
/directories2.pike/1.6/Sat Oct 11 20:19:04 1997//
D
