/directories.pike/1.25/Mon Dec  7 18:23:17 1998//
/directories2.pike/1.11/Thu Nov  5 00:48:36 1998//
/fastdir.pike/1.12/Wed Mar 11 19:42:35 1998//
/indexfiles.pike/1.6/Wed Mar 11 19:42:35 1998//
D
