From: Peter Munch <peterrmuench@gmail.com>
Date: Sun, 9 Jul 2023 18:57:14 +0000 (+0200)
Subject: Merge pull request #15576 from pcafrica/serialization_tria_base
X-Git-Tag: relicensing~713
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=41355f7e5d7c33ba9ae87a00c2399d785a27b10e;p=dealii.git

Merge pull request #15576 from pcafrica/serialization_tria_base

Unified interface for serializing triangulations.
---

41355f7e5d7c33ba9ae87a00c2399d785a27b10e