]> 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, 13 May 2019 12:35:53 +0000 (14:35 +0200)
committerIngo Froehlich <ingo@nomail.fake>
Mon, 13 May 2019 12:35:53 +0000 (14:35 +0200)

Trivial merge