/extra/gnome-shell/

• ../
• PKGBUILD
• gnome-shell.install
• recorder.patch