From: Matthias Maier Date: Sun, 24 Nov 2024 06:30:15 +0000 (+0000) Subject: Merge pull request #17883 from peterrum/MPIEXEC_EXECUTABLE X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae8fc9d14bf5538d6e5f42e29cc85cdd266197ef;p=dealii.git Merge pull request #17883 from peterrum/MPIEXEC_EXECUTABLE Update the usage of MPIEXEC_EXECUTABLE/MPIEXEC --- ae8fc9d14bf5538d6e5f42e29cc85cdd266197ef