gpl.diff
adapt_projects.diff
path_doc_gps_plugin.diff
style_warnings.diff
info_directory_entry.diff
paths_in_doc.diff
