]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8133 from bangerth/fix
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Mon, 13 May 2019 09:26:37 +0000 (11:26 +0200)
committerGitHub <noreply@github.com>
Mon, 13 May 2019 09:26:37 +0000 (11:26 +0200)
commitfca748998988cbb3412af4f22cb637ecc2583a0f
tree839e188139cb3f1e0d86fe0512ce913bfa3aa169
parentda4fc70ae8e4fbde71b6d638812696e28338c656
parentc10aa2502c2cdc62bef95eea898d02e175431bda
Merge pull request #8133 from bangerth/fix

Fix a couple of comments.

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.