From: David Wells <drwells@email.unc.edu>
Date: Thu, 1 Feb 2024 02:59:40 +0000 (-0500)
Subject: Merge pull request #16571 from bangerth/tria
X-Git-Tag: relicensing~88
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=53a8161a9fb580d63156cdb7ddf9e22107198b5f;p=dealii.git

Merge pull request #16571 from bangerth/tria

More work in tria_description.h/cc.
---

53a8161a9fb580d63156cdb7ddf9e22107198b5f