]> git.tuebingen.mpg.de Git - dss.git/history - dss.svg
Merge branch 'refs/heads/t/svg-logo'
[dss.git] / dss.svg
2019-10-30 Andre NollMerge branch 'refs/heads/t/svg-logo'
2019-09-18 Andre NollRedo the logo as svg.