From: David Wells Date: Thu, 21 Dec 2023 03:23:07 +0000 (-0500) Subject: Merge pull request #16370 from bangerth/doc-xx X-Git-Tag: relicensing~234 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7322b01d17d1eaa048348e397b10efd3b76fbad5;p=dealii.git Merge pull request #16370 from bangerth/doc-xx Improve documentation of TriangulationDescription and members. --- 7322b01d17d1eaa048348e397b10efd3b76fbad5