From: Luca Heltai Date: Thu, 28 May 2015 15:13:21 +0000 (+0200) Subject: Merge pull request #969 from tamiko/rename_two_more_header_guards X-Git-Tag: v8.3.0-rc1~145 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f145ae1b60f2ee4e000f4be9cf32a299b00da8b1;p=dealii.git Merge pull request #969 from tamiko/rename_two_more_header_guards Rename two more header guards --- f145ae1b60f2ee4e000f4be9cf32a299b00da8b1