From: Martin Kronbichler <kronbichler@lnm.mw.tum.de>
Date: Tue, 7 Jan 2020 07:29:28 +0000 (+0100)
Subject: Merge pull request #9239 from tjhei/config_h_p4est_old
X-Git-Tag: v9.2.0-rc1~733
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b2300a32cd36aa45dc3478a42b0dd678c83a8265;p=dealii.git

Merge pull request #9239 from tjhei/config_h_p4est_old

config.h: remove old p4est version logic
---

b2300a32cd36aa45dc3478a42b0dd678c83a8265