From: Denis Davydov Date: Tue, 24 May 2016 23:41:16 +0000 (+0200) Subject: Merge pull request #2627 from bangerth/doc-update-61 X-Git-Tag: v8.5.0-rc1~1018 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ade96757e49aface819cf2920e5fc2b7848518da;p=dealii.git Merge pull request #2627 from bangerth/doc-update-61 Update documentation in a couple of places. --- ade96757e49aface819cf2920e5fc2b7848518da