From: Denis Davydov Date: Sat, 30 Jun 2018 05:06:53 +0000 (+0200) Subject: Merge pull request #6862 from masterleinad/indent_example-step-13 X-Git-Tag: v9.1.0-rc1~965 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=275dd2d18b229c6a67e78653f56c0254928950ba;p=dealii.git Merge pull request #6862 from masterleinad/indent_example-step-13 examples/step-13: Update indenting and modernize --- 275dd2d18b229c6a67e78653f56c0254928950ba