From: Daniel Arndt Date: Tue, 13 Aug 2024 19:53:21 +0000 (-0600) Subject: Merge pull request #17492 from tjhei/portable-mf-evaluation-flags X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=9a2d1a2e83c97c9a8caf900767c57acd0fee369b;p=dealii.git Merge pull request #17492 from tjhei/portable-mf-evaluation-flags portable::FEEvaluation documentation fixes --- 9a2d1a2e83c97c9a8caf900767c57acd0fee369b