From: David Wells Date: Thu, 21 Jun 2018 14:59:02 +0000 (-0400) Subject: Merge pull request #6812 from tamiko/switch-default-indent X-Git-Tag: v9.1.0-rc1~1007 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6a055408fae7448833655cdebec3bcef425d39cb;p=dealii.git Merge pull request #6812 from tamiko/switch-default-indent contrib/utilities: rename to indent and indent-all --- 6a055408fae7448833655cdebec3bcef425d39cb