/bare.pike/1.2/Wed Aug 13 21:51:06 1997//
/ftp.pike/1.3/Tue Aug 19 22:10:59 1997//
/proxy.pike/1.3/Sat Aug 23 17:10:33 1997//
/standard.pike/1.6/Sat Oct 11 20:19:21 1997//
/basic.pike/1.1/Mon Dec 15 02:13:06 1997//
D
