From: Andre Noll <maan@tuebingen.mpg.de>
Date: Wed, 30 Oct 2019 09:58:12 +0000 (+0100)
Subject: Merge branch 'refs/heads/t/svg-logo'
X-Git-Tag: v1.0.1~2
X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=a49a95efca7e3b22c1b06b38319fdfbeea8c7fe2;p=dss.git

Merge branch 'refs/heads/t/svg-logo'

Cooking for about a month. The web page has been updated today to
use the new logo.

* refs/heads/t/svg-logo:
  Redo the logo as svg.
---

a49a95efca7e3b22c1b06b38319fdfbeea8c7fe2