From: Wolfgang Bangerth Date: Thu, 21 Dec 2023 22:17:14 +0000 (-0700) Subject: Merge pull request #16237 from jpthiele/jpt-triangulation-copydoc X-Git-Tag: relicensing~227 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0da331b3df2ccd5f39b93fe824dd3c9c3a419f7f;p=dealii.git Merge pull request #16237 from jpthiele/jpt-triangulation-copydoc Actually fix Triangulation copydocs --- 0da331b3df2ccd5f39b93fe824dd3c9c3a419f7f