]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14555 from tjhei/jenkins-remove-old-mpi
authorDaniel Arndt <arndtd@ornl.gov>
Mon, 12 Dec 2022 16:27:12 +0000 (11:27 -0500)
committerGitHub <noreply@github.com>
Mon, 12 Dec 2022 16:27:12 +0000 (11:27 -0500)
commit3e084867e5da894706d3cf13bc8591cf036db319
tree326a697aabfd8c6c8dd982078289edf02c3ce923
parente79fc0f4e647f10dc04b251b2b08abc409852180
parented1d6fb118182f76d1d3887718f3e7e3b0b92d5e
Merge pull request #14555 from tjhei/jenkins-remove-old-mpi

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.