/patch-configure/1.8/Fri Aug  9 18:45:32 2013//
/patch-editor_Makefile_in/1.2/Mon May 16 20:26:51 2005//
/patch-editor_editoptions_c/1.1/Sun Sep 19 21:54:18 2021//
/patch-editor_options_c/1.1/Sun Sep 19 21:54:18 2021//
/patch-editor_shell_c/1.1/Sun Sep 19 21:54:18 2021//
/patch-man_cooledit_1/1.1/Sat Mar 21 21:28:27 2015//
/patch-rxvt_Makefile_in/1.3/Wed May 19 15:18:35 2010//
/patch-widget_Makefile_in/1.2/Mon May 16 20:26:51 2005//
/patch-widget_coollocal_h/1.1/Wed May 19 15:18:35 2010//
D
