From: Martin Kronbichler Date: Tue, 13 Oct 2015 13:45:49 +0000 (+0200) Subject: Merge pull request #1748 from bangerth/doc-update-37 X-Git-Tag: v8.4.0-rc2~317 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5d6bd422f310a5ef09219beb1b8682f3301ac5be;p=dealii.git Merge pull request #1748 from bangerth/doc-update-37 Add something to the documentation. --- 5d6bd422f310a5ef09219beb1b8682f3301ac5be