From: Wolfgang Bangerth Date: Fri, 15 May 2020 19:28:35 +0000 (+0200) Subject: Merge pull request #10237 from drwells/step-70-spelling X-Git-Tag: v9.3.0-rc1~1625 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ab7f41fbbab4d769a0cbc553a1760b53296f420f;p=dealii.git Merge pull request #10237 from drwells/step-70-spelling Improve spelling in step-70. --- ab7f41fbbab4d769a0cbc553a1760b53296f420f