]> jspc29.x-matter.uni-frankfurt.de Git - dirich.git/commitdiff
Merge branch 'master' of jspc29.x-matter.uni-frankfurt.de:dirich
authorIngo Froehlich <ingo@nomail.fake>
Mon, 18 Feb 2019 14:18:10 +0000 (15:18 +0100)
committerIngo Froehlich <ingo@nomail.fake>
Mon, 18 Feb 2019 14:18:10 +0000 (15:18 +0100)

Trivial merge