From: Timo Heister Date: Fri, 17 Jul 2015 11:35:27 +0000 (-0400) Subject: Merge pull request #1147 from tamiko/fix_header_tests X-Git-Tag: v8.4.0-rc2~753 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1bb0663de41253982f0fb235d6af8183db54c1a;p=dealii.git Merge pull request #1147 from tamiko/fix_header_tests Bugfix: Do not test for inclusion of config.h in header tests --- d1bb0663de41253982f0fb235d6af8183db54c1a