From: David Wells Date: Sat, 23 May 2020 23:59:31 +0000 (-0400) Subject: Merge pull request #10325 from peterrum/vertex_line_quad_index X-Git-Tag: v9.3.0-rc1~1574 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3594e424fc698964eef464e30807a1f0a5664b0e;p=dealii.git Merge pull request #10325 from peterrum/vertex_line_quad_index Generalize vertex/line/quad_index --- 3594e424fc698964eef464e30807a1f0a5664b0e