/patch-configure_in/1.1.1.1/Thu May 23 15:36:06 2002//
/patch-src_getopt_h/1.1/Sat Jul 20 20:15:05 2002//
/patch-src_history_h/1.1/Sat Jul 20 20:15:05 2002//
/patch-src_main_cc/1.1/Sat Jul 20 20:15:05 2002//
D
