From: David Wells Date: Mon, 21 May 2018 14:14:02 +0000 (-0400) Subject: Merge pull request #6640 from bangerth/step-45 X-Git-Tag: v9.1.0-rc1~1122 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1b849d56ca93738523f3c5e2b90636b41c11ed5;p=dealii.git Merge pull request #6640 from bangerth/step-45 Make clear in the program that we omit significant parts of step-45. --- d1b849d56ca93738523f3c5e2b90636b41c11ed5