From: Denis Davydov Date: Fri, 26 Jan 2018 11:51:19 +0000 (+0100) Subject: Merge pull request #5807 from masterleinad/lapack_unused_parameters X-Git-Tag: v9.0.0-rc1~518 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7b382a8ae117d7e4822253d2c73011332ca30121;p=dealii.git Merge pull request #5807 from masterleinad/lapack_unused_parameters Unused parameters without LAPACK --- 7b382a8ae117d7e4822253d2c73011332ca30121