# Include Branding pictures
branding/debian/favicon.ico
branding/debian/login_background.jpg
branding/debian/revolution-pi.png
branding/debian/revpi-background.jpg
