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