From: Martin Kronbichler Date: Sat, 22 Aug 2015 08:45:03 +0000 (+0200) Subject: Merge pull request #1414 from bangerth/simplify-code X-Git-Tag: v8.4.0-rc2~560 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=96821ec07cd7a655da0c52143ca366de214c76b6;p=dealii.git Merge pull request #1414 from bangerth/simplify-code Simplify code. --- 96821ec07cd7a655da0c52143ca366de214c76b6