]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15569 from bangerth/26
authorMartin Kronbichler <martin.kronbichler@uni-a.de>
Sun, 2 Jul 2023 11:20:49 +0000 (13:20 +0200)
committerGitHub <noreply@github.com>
Sun, 2 Jul 2023 11:20:49 +0000 (13:20 +0200)
commitbfa3c719025c021747b2b894aa95fc6d9b7c3dbb
treece8db7658c4ae2aac92fe5a81ab30f45efedfd2b
parentc480ad9fcf8b3592118fa20ce3e9753e7972dc54
parentf106ab84c83c9ab2f87749b3380ec26f6d4f9cf7
Merge pull request #15569 from bangerth/26

Avoid unnecessary reinitialization.

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.