/patch-configure/1.9/Fri Mar 11 18:58:28 2022//
/patch-editor_Makefile_in/1.3/Fri Mar 11 18:58:28 2022//
/patch-editor_editoptions_c/1.2/Fri Mar 11 18:58:28 2022//
/patch-editor_options_c/1.2/Fri Mar 11 18:58:28 2022//
/patch-editor_shell_c/1.2/Fri Mar 11 18:58:28 2022//
/patch-man_cooledit_1/1.2/Fri Mar 11 18:58:28 2022//
/patch-rxvt_Makefile_in/1.4/Fri Mar 11 18:58:28 2022//
/patch-widget_Makefile_in/1.3/Fri Mar 11 18:58:28 2022//
/patch-widget_coollocal_h/1.2/Fri Mar 11 18:58:28 2022//
D
