From: Martin Kronbichler Date: Fri, 15 Apr 2016 19:30:24 +0000 (+0200) Subject: Merge pull request #2509 from bangerth/doc-update-58 X-Git-Tag: v8.5.0-rc1~1103 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b6d1dbb3c3c71d8503a43153c015935979a33d6d;p=dealii.git Merge pull request #2509 from bangerth/doc-update-58 A number of doc updates. --- b6d1dbb3c3c71d8503a43153c015935979a33d6d