From: Martin Kronbichler Date: Thu, 19 Oct 2023 19:33:58 +0000 (+0200) Subject: Merge pull request #16160 from drwells/grid-tools-topology X-Git-Tag: relicensing~379 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=52f38e5cbab6a0b97908c2a06050e1f05952aff2;p=dealii.git Merge pull request #16160 from drwells/grid-tools-topology Move topological GridTools functions to a new file. --- 52f38e5cbab6a0b97908c2a06050e1f05952aff2