/extra/gnome-panel/

• ../
• PKGBUILD
• fix-crasher-launchers.patch
• gnome-panel.install