From: Peter Munch Date: Fri, 5 Feb 2021 22:27:33 +0000 (+0100) Subject: Merge pull request #11688 from bangerth/ref-cell-16 X-Git-Tag: v9.3.0-rc1~500 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=914fcc30bb9819fbe49aeec2cfa07b9e8e22b5fc;p=dealii.git Merge pull request #11688 from bangerth/ref-cell-16 Rename variables named 'reference_cell_type' to 'reference_cell'. --- 914fcc30bb9819fbe49aeec2cfa07b9e8e22b5fc