From: Luca Heltai Date: Tue, 16 Dec 2014 09:44:24 +0000 (+0100) Subject: Merge pull request #342 from tamiko/doxygen_fixups_and_reindent X-Git-Tag: v8.2.0-rc1~14 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4f0f53b3143ca5baf2c32a042aa20043f3bbd6ed;p=dealii.git Merge pull request #342 from tamiko/doxygen_fixups_and_reindent Release steps 0a 0b 0c 0d --- 4f0f53b3143ca5baf2c32a042aa20043f3bbd6ed