From: Matthias Maier <tamiko@43-1.org>
Date: Tue, 24 Apr 2018 19:57:02 +0000 (-0500)
Subject: Merge pull request #6318 from tjhei/doxygen_formatting2
X-Git-Tag: v9.0.0-rc1~123
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=380c1fdc22e44dc8349c0109a20c7b1a38168c66;p=dealii.git

Merge pull request #6318 from tjhei/doxygen_formatting2

fix some ugly doxygen formatting
---

380c1fdc22e44dc8349c0109a20c7b1a38168c66