]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14876 from bangerth/message
authorPeter Munch <peterrmuench@gmail.com>
Sun, 12 Mar 2023 12:13:53 +0000 (13:13 +0100)
committerGitHub <noreply@github.com>
Sun, 12 Mar 2023 12:13:53 +0000 (13:13 +0100)
commit8d39c9f4627a7a02cc17bd0a98187fee0e1de720
tree901ca9234b9e9bbc1303f7839e33f84cfb4b043f
parent3a34098a434b1576a064cf23b78baca86153a1c9
parent4a7a0a41b486f2c292040f726dd4d962c78a2f58
Merge pull request #14876 from bangerth/message

Minor improvement 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.