From: Wolfgang Bangerth Date: Wed, 9 Dec 2020 21:20:34 +0000 (-0700) Subject: Merge pull request #11348 from simonsticko/doc_sparse_direct_mumps X-Git-Tag: v9.3.0-rc1~780 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=796b98256b30ac02d67f81df349815afa8da4fda;p=dealii.git Merge pull request #11348 from simonsticko/doc_sparse_direct_mumps Fix documentation of two SparseDirectMUMPS functions --- 796b98256b30ac02d67f81df349815afa8da4fda