From: Martin Kronbichler Date: Fri, 17 Jul 2020 11:28:14 +0000 (+0200) Subject: Merge pull request #10673 from peterrum/use_reference_cell_type X-Git-Tag: v9.3.0-rc1~1277 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fdce6890904fa29125754ee9e1c3cb502c06ce51;p=dealii.git Merge pull request #10673 from peterrum/use_reference_cell_type Use ReferenceCell::Type to get Info --- fdce6890904fa29125754ee9e1c3cb502c06ce51