From: Wolfgang Bangerth Date: Thu, 2 Nov 2023 23:27:05 +0000 (-0600) Subject: Merge pull request #16234 from marcfehling/hp-headers X-Git-Tag: relicensing~322 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=17ce448feb561a844f98fca6230543f6f222a569;p=dealii.git Merge pull request #16234 from marcfehling/hp-headers Remove `hp::DoFHandler` from doxygen headers. --- 17ce448feb561a844f98fca6230543f6f222a569