From: Timo Heister Date: Wed, 18 Jan 2017 17:23:41 +0000 (-0500) Subject: Merge pull request #3822 from bangerth/minor-cleanups X-Git-Tag: v8.5.0-rc1~225 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=496fe9ec7ecf3c207315c4fc64127b9898f7a1e4;p=dealii.git Merge pull request #3822 from bangerth/minor-cleanups Minor cleanups to the implementation of FETools::compute_node_matrix(). --- 496fe9ec7ecf3c207315c4fc64127b9898f7a1e4