From: Peter Munch Date: Thu, 25 Feb 2021 05:46:40 +0000 (+0100) Subject: Merge pull request #11807 from bangerth/ref-cell-31 X-Git-Tag: v9.3.0-rc1~416 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7121bfda7f0d9eecbcb52f9e3297065829fe5160;p=dealii.git Merge pull request #11807 from bangerth/ref-cell-31 Rename variables to make their names more standard. --- 7121bfda7f0d9eecbcb52f9e3297065829fe5160