From: Denis Davydov <davydden@gmail.com>
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