/patch-configure/1.15/Mon Sep 25 09:16:13 2017//
/patch-gtk_gtksettings_c/1.21/Fri Oct 28 13:41:36 2016//
D
