/x11/gnome-shell/files/

• ../
• patch-src_gdmuser_gdm-user-manager.c
• patch-src_gnome-shell-plugin.c
• patch-src_gnome-shell.in