From: Matthias Maier Date: Tue, 22 Nov 2016 23:34:35 +0000 (-0600) Subject: Merge pull request #3623 from bavier/petsc-conf X-Git-Tag: v8.5.0-rc1~374 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fa5e4c9870f36a36a6499d30144b20ed8237443c;p=dealii.git Merge pull request #3623 from bavier/petsc-conf Add petsc conf hint for petsc>=3.7 --- fa5e4c9870f36a36a6499d30144b20ed8237443c