From: Daniel Arndt Date: Tue, 17 Nov 2020 16:56:31 +0000 (-0500) Subject: Merge pull request #11193 from bangerth/fe-values X-Git-Tag: v9.3.0-rc1~895 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c4ecb58649dd5a1d8fa8ff6ebe89961e727b1067;p=dealii.git Merge pull request #11193 from bangerth/fe-values Better document a bunch of functions. --- c4ecb58649dd5a1d8fa8ff6ebe89961e727b1067