]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8932 from tjhei/fix_error_message
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sun, 20 Oct 2019 11:25:05 +0000 (13:25 +0200)
committerGitHub <noreply@github.com>
Sun, 20 Oct 2019 11:25:05 +0000 (13:25 +0200)
commit794e78bdbaa4eecded7508a8f6b9af9dfb467ae7
tree0d282bad494bb1e01e8af307c2ff8f6100ce6e7f
parentfd20c385ac5f76d37bf7fc6eda79ebc36044ab54
parentb010eddf774340260080c71b5971faa445c83534
Merge pull request #8932 from tjhei/fix_error_message

add missing space to 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.