/patch-gtk_makefile/1.11/Sat Feb 24 10:55:25 2018//
/patch-src_Embedded_properties/1.7/Wed Nov  1 17:01:23 2017//
/patch-src_SciTEGlobal_properties/1.8/Sat Feb 24 10:55:25 2018//
D
