From: Martin Kronbichler Date: Tue, 4 Aug 2015 12:36:27 +0000 (+0200) Subject: Merge pull request #1238 from bangerth/further-FEValues-cleanups X-Git-Tag: v8.4.0-rc2~685 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a1c36ef7b00d54e0d351bfb0ecd75c1ae138072e;p=dealii.git Merge pull request #1238 from bangerth/further-FEValues-cleanups Further fe values cleanups --- a1c36ef7b00d54e0d351bfb0ecd75c1ae138072e