From: Martin Kronbichler Date: Mon, 2 Mar 2015 15:11:25 +0000 (+0100) Subject: Merge pull request #633 from bangerth/accelerate-indent X-Git-Tag: v8.3.0-rc1~394 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=689f5f6d4d53e3fc8ca2f59c81ccf10ff8a2629c;p=dealii.git Merge pull request #633 from bangerth/accelerate-indent Accelerate indent --- 689f5f6d4d53e3fc8ca2f59c81ccf10ff8a2629c