]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3146 from bangerth/doc-update
authorTimo Heister <timo.heister@gmail.com>
Wed, 21 Sep 2016 21:19:31 +0000 (17:19 -0400)
committerGitHub <noreply@github.com>
Wed, 21 Sep 2016 21:19:31 +0000 (17:19 -0400)
commitdf4d387413e170263c27fe833319ac78b212c7ea
tree2681504284e93ad9cf51e7df8d37cd584fbd68d4
parent4cbcf3826d2541629e786ee70df4278b2a0115b9
parentfb2eb103c4b617e3e74701445099d9b2238901a2
Merge pull request #3146 from bangerth/doc-update

Fix 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.