00git_state_property_type.patch
01_gedit-bugreport-location.patch
02_add_keywords.patch
03_no_gnu_gettext.patch
05_menu_label.patch
06_lp_401692.patch
07_use_del_instead_ctrl_del.patch
08_multiarch_fallback.patch
git_filebrowser_toolbar.patch
fix_snippet_warning.patch
git_store_dialog.patch
git_save_run_tool_order.patch
fix_snippets_python34.patch
