From: Uwe Köcher Date: Tue, 8 Oct 2019 14:14:59 +0000 (+0200) Subject: Merge pull request #124 from tjhei/ubuntu19 X-Git-Tag: v9.2.0-r1~12 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f330dcc10f7f1ac84eea7f2bc757ca026ef0bdfd;p=candi.git Merge pull request #124 from tjhei/ubuntu19 add ubuntu19 support --- f330dcc10f7f1ac84eea7f2bc757ca026ef0bdfd