]> jspc29.x-matter.uni-frankfurt.de Git - dirich.git/commitdiff
jspc29 / dirich.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9194708 775f02c)
Merge branch 'master' of jspc29:dirich
authorIngo Froehlich <ingo@nomail.fake>
Thu, 25 Jan 2018 15:23:57 +0000 (16:23 +0100)
committerIngo Froehlich <ingo@nomail.fake>
Thu, 25 Jan 2018 15:23:57 +0000 (16:23 +0100)

Trivial merge
DiRich front-end and related