/patch-tools_gnome-doc-tool_in/1.4/Tue May 24 12:41:56 2011//
/patch-doc_xslt_Makefile_in/1.9/Wed May 16 18:43:01 2012//
/patch-xml2po_xml2po_1/1.1/Sat Mar  3 10:30:56 2012//
/patch-tools_gnome-doc-utils_make/1.2/Thu Apr  4 14:36:01 2013//
D
