From: Martin Kronbichler Date: Tue, 1 Sep 2015 14:44:07 +0000 (+0200) Subject: Merge pull request #1503 from tjhei/simplify_indent_script X-Git-Tag: v8.4.0-rc2~495 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=de4258e8ad8dffda0bf69c875fdbed71138bd755;p=dealii.git Merge pull request #1503 from tjhei/simplify_indent_script simplify indent script --- de4258e8ad8dffda0bf69c875fdbed71138bd755