From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Thu, 12 Sep 2019 06:06:04 +0000 (+0200)
Subject: Merge pull request #8737 from peterrum/cellid-isparentof
X-Git-Tag: v9.2.0-rc1~1118
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6b43fc09e7999673980997a0db68c16da0d83a03;p=dealii.git

Merge pull request #8737 from peterrum/cellid-isparentof

Add CellId::is_parent_of
---

6b43fc09e7999673980997a0db68c16da0d83a03