]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13087 from bangerth/message
authorMartin Kronbichler <martin.kronbichler@it.uu.se>
Thu, 16 Dec 2021 09:54:37 +0000 (10:54 +0100)
committerGitHub <noreply@github.com>
Thu, 16 Dec 2021 09:54:37 +0000 (10:54 +0100)
commit2f271018d4e2a78dc1eeba8dc7844a563b1f6b5d
treebd57e85ebfeccdaa6013fbaed8596f133869f98f
parent63ea9d02bfd72eb19c50bfa36c2ae1b1e68a5262
parent37ae748a6644499dd36c365007719ec71b82b9f5
Merge pull request #13087 from bangerth/message

Minor fix to 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.