From: David Wells Date: Tue, 19 Dec 2023 20:12:21 +0000 (-0500) Subject: Merge pull request #16368 from bangerth/t-3 X-Git-Tag: relicensing~235 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=49444955f263372e7b44a14f90a4191325749813;p=dealii.git Merge pull request #16368 from bangerth/t-3 Better document create_description_from_triangulation(). --- 49444955f263372e7b44a14f90a4191325749813