From: Uwe Köcher Date: Tue, 24 Dec 2019 21:02:35 +0000 (+0100) Subject: Merge pull request #128 from tjhei/osx-update X-Git-Tag: v9.2.0-r1~8 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=da1f487bf387203b29ea559da84a6d817f15f2b4;p=candi.git Merge pull request #128 from tjhei/osx-update OSX doc update --- da1f487bf387203b29ea559da84a6d817f15f2b4