From: Matthias Maier <tamiko@43-1.org>
Date: Fri, 3 Mar 2017 18:15:39 +0000 (-0600)
Subject: Merge branch pull request #4008 from loylick/buildsystem
X-Git-Tag: v8.5.0-rc1~77
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5a565c52db7747ebc778d69dc9bdfbba1fa06728;p=dealii.git

Merge branch pull request #4008 from loylick/buildsystem

Merges #4008. Closes #4008.
---

5a565c52db7747ebc778d69dc9bdfbba1fa06728