From: Timo Heister Date: Wed, 6 Apr 2016 09:48:00 +0000 (-0400) Subject: Merge pull request #2444 from bangerth/update-docs-55 X-Git-Tag: v8.5.0-rc1~1138 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0f225e183389c8a66fac5dadb81d3f1ffb10fa5;p=dealii.git Merge pull request #2444 from bangerth/update-docs-55 Fix doxygen markup. --- f0f225e183389c8a66fac5dadb81d3f1ffb10fa5