From: Peter Munch Date: Sun, 24 Apr 2022 10:55:38 +0000 (+0200) Subject: Merge pull request #13610 from zjiaqi2018/get-function-jumps-etc X-Git-Tag: v9.4.0-rc1~307 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9ea6024fce8e8fe428b3b794e7a5ebc803361ff2;p=dealii.git Merge pull request #13610 from zjiaqi2018/get-function-jumps-etc FEInterfaceValues::get_jump/average_*_function_values --- 9ea6024fce8e8fe428b3b794e7a5ebc803361ff2