/patch-gtk_makefile/1.12/Fri Mar 11 18:58:34 2022//
/patch-src_Embedded_properties/1.8/Fri Mar 11 18:58:34 2022//
/patch-src_SciTEGlobal_properties/1.9/Fri Mar 11 18:58:34 2022//
D
