From: Denis Davydov Date: Tue, 20 Dec 2016 21:00:17 +0000 (+0100) Subject: Merge pull request #3685 from davydden/doc/astyle_version X-Git-Tag: v8.5.0-rc1~323 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=186951102ee20d540759a1b100798709087eae1b;p=dealii.git Merge pull request #3685 from davydden/doc/astyle_version explicitly say we use astyle 2.04 --- 186951102ee20d540759a1b100798709087eae1b