From: Matthias Maier Date: Thu, 20 Aug 2015 21:13:03 +0000 (-0500) Subject: Merge pull request #1399 from bangerth/further-FEValues-cleanups-23 X-Git-Tag: v8.4.0-rc2~573 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=57d46823d816690ece0c646f167b982dad4f2c75;p=dealii.git Merge pull request #1399 from bangerth/further-FEValues-cleanups-23 Clean up a piece of rather awkward code. --- 57d46823d816690ece0c646f167b982dad4f2c75