/ftp.pike/2.102/Wed Jun 30 16:59:34 2004//
/http.pike/1.464/Fri Oct 15 09:00:11 2004//
/prot_ftp.pike/2.4/Wed Jun 30 16:59:35 2004//
/prot_ftps.pike/2.5/Wed Jun 30 16:59:35 2004//
/prot_hilfe.pike/2.11/Wed Jun 30 16:59:35 2004//
/prot_http.pike/2.6/Wed Jun 30 16:59:35 2004//
/prot_https.pike/2.11/Mon Aug 16 19:31:37 2004//
/prot_tetris.pike/2.5/Wed Jun 30 16:59:35 2004//
/tetris.pike/1.4/Fri Feb 23 04:15:20 2001//
D
