From: Uwe Köcher <koecher@hsu-hamburg.de>
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