From: David Wells <drwells@email.unc.edu>
Date: Fri, 26 Feb 2021 14:51:10 +0000 (-0500)
Subject: Merge pull request #11813 from peterrum/simplex_renaming_2
X-Git-Tag: v9.3.0-rc1~409
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=54662f1c237c86145f1bc757978bdb4dcffa8553;p=dealii.git

Merge pull request #11813 from peterrum/simplex_renaming_2

Rename further simplex-related files
---

54662f1c237c86145f1bc757978bdb4dcffa8553