From: Daniel Arndt Date: Sun, 7 Feb 2021 00:08:31 +0000 (-0500) Subject: Merge pull request #11705 from bangerth/ref-cell-22 X-Git-Tag: v9.3.0-rc1~492 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=dab0c5842808636cd7b71e9cd195b2a72bc0472c;p=dealii.git Merge pull request #11705 from bangerth/ref-cell-22 Spell out Tri->Triangle, Quad->Quadrilateral, etc. --- dab0c5842808636cd7b71e9cd195b2a72bc0472c