/patch-configure/1.1/Wed Mar 20 16:19:51 2002//
/patch-corewars_6/1.1/Wed Mar 20 16:19:52 2002//
/patch-src_main-cmd_c/1.1/Wed Mar 20 16:19:52 2002//
D
