/gnome-extra/gnome-art/files/

• ../
• digest-gnome-art-0.2-r2
• gnome-art.desktop
• gnome-splashscreen-manager.desktop