/patch-configure/1.9/Sat Mar 12 08:16:08 2022//
/patch-editor_Makefile_in/1.3/Sat Mar 12 08:16:08 2022//
/patch-editor_editoptions_c/1.2/Sat Mar 12 08:16:08 2022//
/patch-editor_options_c/1.2/Sat Mar 12 08:16:08 2022//
/patch-editor_shell_c/1.2/Sat Mar 12 08:16:08 2022//
/patch-rxvt_Makefile_in/1.4/Sat Mar 12 08:16:08 2022//
/patch-widget_Makefile_in/1.3/Sat Mar 12 08:16:08 2022//
/patch-man_cooledit_1/1.3/Thu Feb 29 08:18:28 2024//
/patch-widget_coollocal_h/1.3/Thu Feb 29 08:18:28 2024//
D
