From: Matthias Maier Date: Fri, 22 May 2015 23:58:00 +0000 (+0200) Subject: Merge pull request #953 from bangerth/check-astyle-version X-Git-Tag: v8.3.0-rc1~157 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d6b569e7ab9e1a8c6626fede4b31a53cb247e0cf;p=dealii.git Merge pull request #953 from bangerth/check-astyle-version Check that we have the right astyle version. --- d6b569e7ab9e1a8c6626fede4b31a53cb247e0cf