]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13385 from bangerth/error
authorMatthias Maier <tamiko@43-1.org>
Tue, 15 Feb 2022 11:12:43 +0000 (05:12 -0600)
committerGitHub <noreply@github.com>
Tue, 15 Feb 2022 11:12:43 +0000 (05:12 -0600)
commit27fc1a0931aea8b7a8ffc8c8fc129723ec8fbb7e
tree821058e13b489ed0f067932e64819b1c2f47474f
parent784be151dd43c98cd6d4a2ef2a2e48977d4a2993
parent42b0cd61e37d659cef39eb2303d406be5c86e245
Merge pull request #13385 from bangerth/error

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.