From: Martin Kronbichler Date: Thu, 16 Oct 2014 06:20:49 +0000 (+0200) Subject: Merge pull request #200 from bangerth/doc-updates-4 X-Git-Tag: v8.2.0-rc1~104 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7b8fd93cef5a693a5c4858bc911f0e7d283eb0b2;p=dealii.git Merge pull request #200 from bangerth/doc-updates-4 Update documentation. --- 7b8fd93cef5a693a5c4858bc911f0e7d283eb0b2