From: Matthias Maier Date: Wed, 9 Sep 2015 15:44:23 +0000 (-0500) Subject: Merge pull request #1566 from bangerth/fix-doxygen X-Git-Tag: v8.4.0-rc2~452 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=de961d510ca1058faee6ce63954f9734f19c2350;p=dealii.git Merge pull request #1566 from bangerth/fix-doxygen Expand DEAL_II_NAMESPACE_OPEN/CLOSE to nothing for doxygen. --- de961d510ca1058faee6ce63954f9734f19c2350