/patch-src_Embedded_properties/1.7/Wed Nov  1 17:42:27 2017//
/patch-gtk_makefile/1.11/Tue Feb 27 01:24:01 2018//
/patch-src_SciTEGlobal_properties/1.8/Tue Feb 27 01:24:01 2018//
D
