From: Martin Kronbichler <kronbichler.martin@gmail.com>
Date: Tue, 2 Sep 2014 13:33:50 +0000 (+0200)
Subject: Merge branch 'master' of https://github.com/dealii/dealii
X-Git-Tag: v8.2.0-rc1~167^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=23002f58135b12b37b1d02feb10de729c44d194f;p=dealii.git

Merge branch 'master' of https://github.com/dealii/dealii
---

23002f58135b12b37b1d02feb10de729c44d194f