From: Denis Davydov Date: Fri, 1 Dec 2017 18:09:47 +0000 (+0100) Subject: Merge pull request #5533 from bangerth/update-instructions X-Git-Tag: v9.0.0-rc1~703 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=959c991b249e649f508e2ca4144e6cf0afe2d890;p=dealii.git Merge pull request #5533 from bangerth/update-instructions Tell users to build with ZOLTAN. --- 959c991b249e649f508e2ca4144e6cf0afe2d890