]> git.tue.mpg.de Git - dss.git/commitdiff
projects / dss.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 0f81704 eefbddd)
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)
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.


Trivial merge
DSS - dyadic snapshot scheduler