From: Martin Kronbichler Date: Sat, 14 Oct 2023 18:39:43 +0000 (+0200) Subject: Merge pull request #16130 from drwells/polarmanifold-doc-update X-Git-Tag: relicensing~399 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=25ce1ee6a0b9947a8d6f0285b1b0828d9688cc7c;p=dealii.git Merge pull request #16130 from drwells/polarmanifold-doc-update Clean up the documentation of PolarManifold. --- 25ce1ee6a0b9947a8d6f0285b1b0828d9688cc7c