From: Matthias Maier Date: Tue, 4 Jul 2023 16:59:59 +0000 (+0000) Subject: Merge pull request #15608 from peterrum/tria_orientation_ X-Git-Tag: relicensing~759 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37b3c3849b46be0fdb1b41064ef01d6026ce6f81;p=dealii.git Merge pull request #15608 from peterrum/tria_orientation_ Introduce tria_orientation.h --- 37b3c3849b46be0fdb1b41064ef01d6026ce6f81