From: Timo Heister Date: Thu, 20 Aug 2015 20:53:02 +0000 (-0400) Subject: Merge pull request #1403 from bangerth/doc-update-35 X-Git-Tag: v8.4.0-rc2~576 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fbcb3f1a63f7e587ec03ae0feb8d6d1e1b34e16c;p=dealii.git Merge pull request #1403 from bangerth/doc-update-35 Fix a reference in a doxygen file. --- fbcb3f1a63f7e587ec03ae0feb8d6d1e1b34e16c