From: Marc Fehling Date: Fri, 20 Aug 2021 02:15:06 +0000 (-0600) Subject: Merge pull request #12682 from bangerth/doc-4 X-Git-Tag: v9.4.0-rc1~1052 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3b8ec5f9edf3426f92183d38283431780c2ead71;p=dealii.git Merge pull request #12682 from bangerth/doc-4 Group member functions in hp::FECollection for doxygen. --- 3b8ec5f9edf3426f92183d38283431780c2ead71