]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17783 from bangerth/message
authorTimo Heister <timo.heister@gmail.com>
Wed, 16 Oct 2024 12:11:25 +0000 (08:11 -0400)
committerGitHub <noreply@github.com>
Wed, 16 Oct 2024 12:11:25 +0000 (08:11 -0400)
commitcb853163461bc6160654814ce12936997ef30e6c
treebd78ec43ecad320a23a9727e07929dabbd2ae912
parentcdfa4b258c38105f44c7744ba65e5fe146f08695
parentfa59ea654e1af39321bf1ad7b99bea09e7851d60
Merge pull request #17783 from bangerth/message

Improve an error message.

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.