From: Wolfgang Bangerth Date: Mon, 2 Jul 2018 19:06:34 +0000 (-0600) Subject: Merge pull request #6817 from masterleinad/indent_example-step-22 X-Git-Tag: v9.1.0-rc1~962 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1358040c576de21275c672be83986e6b2856274c;p=dealii.git Merge pull request #6817 from masterleinad/indent_example-step-22 examples/step-22: Update indenting and modernize --- 1358040c576de21275c672be83986e6b2856274c