]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14185 from drwells/mpi-stub-header
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Tue, 16 Aug 2022 12:32:20 +0000 (14:32 +0200)
committerGitHub <noreply@github.com>
Tue, 16 Aug 2022 12:32:20 +0000 (14:32 +0200)
commita5bfd2bf62799d2f5e72dfefc38c3a9533dd7eeb
treed0ef94cd1dbba644b1ab1be629acf4595f7bd49d
parentc415589cf0a606bd4fdaaec04304be191c74da5a
parent5ad30e4a74586c6cb320464100521b40b4bf9974
Merge pull request #14185 from drwells/mpi-stub-header

Move 'using MPI_Comm = int' et al to a separate header.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.