]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9421 from bangerth/error
authorDaniel Arndt <arndtd@ornl.gov>
Sat, 25 Jan 2020 18:51:30 +0000 (13:51 -0500)
committerGitHub <noreply@github.com>
Sat, 25 Jan 2020 18:51:30 +0000 (13:51 -0500)
commite1e4951029c86e11ae769c58f7ebea69b5fbc527
tree9b6f0292f7a6d5492c0d1ff7781c56f2397d3f84
parentf880f1b5442b01865dd1fab1fda81f92b040fd68
parent4a2835636b1c670b557d13fd1af6e899b31a3441
Merge pull request #9421 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.