/bare.pike/1.2/Wed Aug 13 21:51:06 1997//
/basic.pike/1.1/Mon Dec 15 02:13:06 1997//
/ftp.pike/1.3/Tue Aug 19 05:42:57 1997//
/proxy.pike/1.4/Mon Nov  2 06:27:03 1998//
/standard.pike/1.6/Thu Oct  9 14:49:06 1997//
/manualserver.pike/1.3/Wed Aug 25 01:48:45 1999//
D
