From: Uwe Köcher Date: Tue, 20 Dec 2016 08:09:40 +0000 (+0100) Subject: Merge pull request #8 from koecher/deal.II-v8.4.2 X-Git-Tag: v0.8.5~36 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=075c236392bfde9c8816c9015d10be88a4933bf1;p=candi.git Merge pull request #8 from koecher/deal.II-v8.4.2 Set deal.II v8.4.2 as default --- 075c236392bfde9c8816c9015d10be88a4933bf1