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	add back logo, see #272	2015-10-13 08:35:12 -04:00
logo.png	logo: have a separate, bigger logo (do not reuse the favicon)	2015-11-20 19:06:40 +01:00