#alt-number-key.patch
#hide-menu.patch
#fix_shortcuts.patch
01-deprecated-vte-API.patch
02-default-transparency.patch
80_translations.patch
