From: Matthias Maier Date: Thu, 23 Jul 2015 13:41:35 +0000 (-0500) Subject: Merge pull request #1179 from tjhei/fix_cmake_bug X-Git-Tag: v8.4.0-rc2~732 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=2d0ba0b2579ba1d646425b68f7de685a19deb1f0;p=dealii.git Merge pull request #1179 from tjhei/fix_cmake_bug Fix cmake configure issue introduced by #1148 --- 2d0ba0b2579ba1d646425b68f7de685a19deb1f0