From: Wolfgang Bangerth Date: Wed, 27 May 2015 15:54:45 +0000 (-0400) Subject: Merge pull request #962 from tamiko/rename_header_guards X-Git-Tag: v8.3.0-rc1~151 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=49f2817dba1b811f2c878054ac8981dc7f7cbc5b;p=dealii.git Merge pull request #962 from tamiko/rename_header_guards Rename header guards from __deal2__ to dealii__ --- 49f2817dba1b811f2c878054ac8981dc7f7cbc5b