From: Uwe Köcher Date: Wed, 2 May 2018 07:46:44 +0000 (+0200) Subject: Merge pull request #72 from maxrudolph/master X-Git-Tag: v8.5.1~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=283202b9501d7acc372c7435d701c75acb9e6c4c;p=candi.git Merge pull request #72 from maxrudolph/master add ubuntu 18 LTS --- 283202b9501d7acc372c7435d701c75acb9e6c4c