From: Wolfgang Bangerth Date: Thu, 4 Sep 2014 01:17:26 +0000 (-0500) Subject: Merge pull request #133 from tamiko/fix_header_tests X-Git-Tag: v8.2.0-rc1~161 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=910e16ad99aadee897cd4553ba6bf18b07ff0d10;p=dealii.git Merge pull request #133 from tamiko/fix_header_tests Bugfix: Fix all_header tests --- 910e16ad99aadee897cd4553ba6bf18b07ff0d10