From: Martin Kronbichler Date: Tue, 17 Aug 2021 10:22:47 +0000 (+0200) Subject: Merge pull request #12662 from bangerth/doc-4 X-Git-Tag: v9.4.0-rc1~1070 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4fc03d1aab8ed6c76da0ee6de67ac8a18c889b01;p=dealii.git Merge pull request #12662 from bangerth/doc-4 Minor doc update. --- 4fc03d1aab8ed6c76da0ee6de67ac8a18c889b01