From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Tue, 26 May 2020 21:22:49 +0000 (+0200)
Subject: Merge pull request #10357 from peterrum/gridinfo_add_some_docu
X-Git-Tag: v9.3.0-rc1~1554
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=89f779f0e7af204e1b96ac17fe559022dd1f132f;p=dealii.git

Merge pull request #10357 from peterrum/gridinfo_add_some_docu

Add missing docu to GeometryInfo
---

89f779f0e7af204e1b96ac17fe559022dd1f132f