From: David Wells <drwells@email.unc.edu>
Date: Tue, 19 Nov 2019 21:09:58 +0000 (-0500)
Subject: Merge pull request #9061 from marcfehling/doc-hprefinement
X-Git-Tag: v9.2.0-rc1~867
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c679197b1a5230fc1a61d01a728735c3cc19ffb7;p=dealii.git

Merge pull request #9061 from marcfehling/doc-hprefinement

Doc: Minor changes to hp::Refinement.
---

c679197b1a5230fc1a61d01a728735c3cc19ffb7