From: Luca Heltai Date: Fri, 29 Dec 2017 11:25:45 +0000 (+0100) Subject: Merge pull request #5611 from juan42/add_idas_detection X-Git-Tag: v9.0.0-rc1~612 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1711a07cacfe68d0c3877f4e7de85ac1f4f0de46;p=dealii.git Merge pull request #5611 from juan42/add_idas_detection Add check if sundials has idas --- 1711a07cacfe68d0c3877f4e7de85ac1f4f0de46