Thomas Waldmann 077bcd0cde logo: have a separate, bigger logo (do not reuse the favicon) ... currently just scaled up / converted to png from the favicon.ico.		2015-11-20 19:06:40 +01:00
..
favicon.ico
logo.png	logo: have a separate, bigger logo (do not reuse the favicon)	2015-11-20 19:06:40 +01:00