Rubén Rodríguez 31dd21f55f Disabled mouse modifier in gnome-panel		2014-05-22 00:37:07 +02:00
..
gnome-panel-improved-default-layout-handling.patch	Initial release for Brigantia	2012-09-09 01:03:17 +02:00
gnome-panel.patch	Initial release for Brigantia	2012-09-09 01:03:17 +02:00
hide-online-accounts-menu.patch	Updated toutatis' helpers for linux plymouth gnome-control-center gnome-menus gnome-panel gnome-tweak-tool grub2 gtk+2.0 hplip liferea	2012-10-14 22:52:34 +02:00
no-mouse-modifier.patch	Disabled mouse modifier in gnome-panel	2014-05-22 00:37:07 +02:00