From: Timo Heister Date: Thu, 15 Feb 2018 16:46:52 +0000 (-0500) Subject: Merge pull request #67 from koecher/avoid-deal-8.5.1-cmake-3.10-configure-mpi-problem X-Git-Tag: v8.5.1~5 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d66ee8fb773636619001b8cde8a504fffae957dc;p=candi.git Merge pull request #67 from koecher/avoid-deal-8.5.1-cmake-3.10-configure-mpi-problem check if cmake 3.10 used with deal.II v8.5.1 --- d66ee8fb773636619001b8cde8a504fffae957dc