From: David Wells Date: Mon, 28 May 2018 14:26:02 +0000 (-0400) Subject: Merge pull request #6680 from bangerth/step-3 X-Git-Tag: v9.1.0-rc1~1087 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7bfdde028f706adaf54ce32e91812332c3e4ec88;p=dealii.git Merge pull request #6680 from bangerth/step-3 A few updates to the introduction of step-3. --- 7bfdde028f706adaf54ce32e91812332c3e4ec88