git.tue.mpg.de Git - dss.git/commit

author	Andre Noll <maan@tuebingen.mpg.de>
	Wed, 30 Oct 2019 09:58:12 +0000 (10:58 +0100)
committer	Andre Noll <maan@tuebingen.mpg.de>
	Wed, 30 Oct 2019 09:58:12 +0000 (10:58 +0100)
commit	a49a95efca7e3b22c1b06b38319fdfbeea8c7fe2
tree	d97e90a08ac0c6b0593f0a46b8710b102ce3fdf4	tree \| snapshot
parent	0f8170444cf9e2bcc42b64bdcae3a38b7ac55e66	commit \| diff
parent	eefbddd33850c724d7b5a07b484b00d0b6821961	commit \| diff

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.