/patch-src_Embedded_properties/1.7/Wed Nov  1 17:13:42 2017//
/patch-gtk_makefile/1.11/Sat Feb 24 18:14:34 2018//
/patch-src_SciTEGlobal_properties/1.8/Sat Feb 24 18:14:34 2018//
D
