/patch-gtk_ScintillaGTK_cxx/1.4/Tue May  2 20:48:21 2017//
/patch-gtk_makefile/1.12/Fri Mar 11 18:13:19 2016//
D
