From: Wolfgang Bangerth Date: Sun, 11 Jan 2015 19:13:12 +0000 (-0600) Subject: Merge pull request #417 from tamiko/remove_direct_mumps_interface X-Git-Tag: v8.3.0-rc1~558 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1d1e96ac6d90440a184e771f804578258369f39e;p=dealii.git Merge pull request #417 from tamiko/remove_direct_mumps_interface Remove SparseDirectMUMPS interface --- 1d1e96ac6d90440a184e771f804578258369f39e