]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10446 from bangerth/comment
authorTimo Heister <timo.heister@gmail.com>
Tue, 2 Jun 2020 21:13:40 +0000 (17:13 -0400)
committerGitHub <noreply@github.com>
Tue, 2 Jun 2020 21:13:40 +0000 (17:13 -0400)
commit0498d57bd22dd1e11dbecbc2ed0c78ab67976568
tree94b56e353a85f2b04e8bcbc4381138259fac0256
parent4c794012945d27ca8e00fc0cca88a80695c9dc52
parent9c99a53b27a6e23ce3b0766506d1a35ef443bb9d
Merge pull request #10446 from bangerth/comment

Fix a comment in the documentation.

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.