From: Denis Davydov Date: Thu, 11 Aug 2016 19:41:30 +0000 (+0200) Subject: Merge pull request #2952 from bangerth/disable-test-without-metis X-Git-Tag: v8.5.0-rc1~780 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=43683f8439be8bb7af11b9c1698d9782b96f177d;p=dealii.git Merge pull request #2952 from bangerth/disable-test-without-metis Disable a test that requires METIS if not configured with METIS. --- 43683f8439be8bb7af11b9c1698d9782b96f177d