From: Daniel Arndt Date: Wed, 26 May 2021 13:25:37 +0000 (-0400) Subject: Merge pull request #12305 from jppelteret/dealii-9.3-step-79-touchups_01 X-Git-Tag: v9.3.0~12 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=85542eba50f4d6fa4cbb9799f3753dcb7279a907;p=dealii.git Merge pull request #12305 from jppelteret/dealii-9.3-step-79-touchups_01 [9.3] Take over #12292: Some minor changes to the step-79 documentation --- 85542eba50f4d6fa4cbb9799f3753dcb7279a907