Thomas Waldmann 2ecfa54aee ran build_api and build_usage		2015-12-13 15:47:03 +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
logo.xcf	ran build_api and build_usage	2015-12-13 15:47:03 +01:00