/gnome-base/gnome-shell/files/

• ../
• gnome-shell-3.10-bluetooth-flag.patch
• gnome-shell-3.10-networkmanager-flag.patch
• gnome-shell-3.10.4-activate-workspace.patch
• gnome-shell-3.10.4-bluetooth-gold.patch
• gnome-shell-3.10.4-broken-crosshairs.patch
• gnome-shell-3.10.4-fix-background-manager.patch
• gnome-shell-3.10.4-restore-pref.patch
• gnome-shell-3.10.4-scale-factor.patch
• gnome-shell-3.10.4-wired-network.patch
• gnome-shell-3.12-bluetooth-flag.patch
• gnome-shell-defaults.patch