/patch-Makefile/1.5/Sun Jul  7 17:16:06 2013//
/patch-gtk_res_options_gtk2_ui/1.1/Fri May 31 16:18:41 2013//
D
