From: Daniel Arndt Date: Thu, 20 Sep 2018 07:55:24 +0000 (+0200) Subject: Merge pull request #6781 from tamiko/update-step-7 X-Git-Tag: v9.1.0-rc1~701 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4a2b8fdf7fc24e37ae7398a3118b72b8a58c9c89;p=dealii.git Merge pull request #6781 from tamiko/update-step-7 example/step-7: Update indenting and modernize --- 4a2b8fdf7fc24e37ae7398a3118b72b8a58c9c89