From: Uwe Köcher Date: Thu, 6 Apr 2017 08:09:29 +0000 (+0200) Subject: Merge pull request #20 from tjhei/p4est_zlib X-Git-Tag: v0.8.5~25 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5605b4486f87b64317532ce071e76a10a51e24d7;p=candi.git Merge pull request #20 from tjhei/p4est_zlib Fix p4est without zlib --- 5605b4486f87b64317532ce071e76a10a51e24d7