From: Wolfgang Bangerth Date: Mon, 12 Aug 2019 14:05:35 +0000 (-0600) Subject: Merge pull request #8479 from aggarwal-ashna/step4comments X-Git-Tag: v9.2.0-rc1~1259 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5d9061a3e90d36ed6cfbe7a977690fb787844e3f;p=dealii.git Merge pull request #8479 from aggarwal-ashna/step4comments step 4: minor documentation edits --- 5d9061a3e90d36ed6cfbe7a977690fb787844e3f