From: Ingo Froehlich Date: Thu, 25 Jan 2018 15:23:57 +0000 (+0100) Subject: Merge branch 'master' of jspc29:dirich X-Git-Url: https://jspc29.x-matter.uni-frankfurt.de/git/?a=commitdiff_plain;h=01f17231773f96fbb78a4724a1550ca6aab7e15f;p=dirich.git Merge branch 'master' of jspc29:dirich --- 01f17231773f96fbb78a4724a1550ca6aab7e15f