]> git.tuebingen.mpg.de Git - dss.git/commit - dss.c
Merge branch 'refs/heads/t/svg-logo'
authorAndre Noll <maan@tuebingen.mpg.de>
Wed, 30 Oct 2019 09:58:12 +0000 (10:58 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Wed, 30 Oct 2019 09:58:12 +0000 (10:58 +0100)
commita49a95efca7e3b22c1b06b38319fdfbeea8c7fe2
treed97e90a08ac0c6b0593f0a46b8710b102ce3fdf4
parent0f8170444cf9e2bcc42b64bdcae3a38b7ac55e66
parenteefbddd33850c724d7b5a07b484b00d0b6821961
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.