]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12899 from bangerth/message
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 29 Oct 2021 02:14:28 +0000 (20:14 -0600)
committerGitHub <noreply@github.com>
Fri, 29 Oct 2021 02:14:28 +0000 (20:14 -0600)
commit7df07c0ee2a08873a02455598acef15db2d87015
tree3e731633fa9da47c4079d0b3e37ca267a6f499a7
parentd3aed38b935ff22bd0d33a5aa47ba014ebce3812
parent20f27a1db400f0128064a9fc564375d85932a25e
Merge pull request #12899 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.