From: Uwe Köcher Date: Fri, 6 Nov 2015 17:17:16 +0000 (+0100) Subject: Merge pull request #52 from koecher/dealii-specialbuild-quit X-Git-Tag: v0.8~4 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8c601feeaf653c316280bac11aa3a3b660e7350f;p=candi.git Merge pull request #52 from koecher/dealii-specialbuild-quit deal.II: sets quit_if_fail for specific builds; candi: removes linux-devel project --- 8c601feeaf653c316280bac11aa3a3b660e7350f