From: Martin Kronbichler Date: Wed, 15 Mar 2023 17:31:32 +0000 (+0100) Subject: Merge pull request #14894 from peterrum/fe_eval_flags_docu X-Git-Tag: v9.5.0-rc1~476 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b74ac7e7c30f71809cd25e82718689a711f77374;p=dealii.git Merge pull request #14894 from peterrum/fe_eval_flags_docu FEEvaluation: use EvaluationFlags in documentation --- b74ac7e7c30f71809cd25e82718689a711f77374