]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15107 from bangerth/comment
authorPeter Munch <peterrmuench@gmail.com>
Tue, 18 Apr 2023 04:26:02 +0000 (06:26 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Apr 2023 04:26:02 +0000 (06:26 +0200)
commitd0fc2a7b82f304da5a00d802d7cdc4c1344d0df7
tree00c69df052b709f83999a3b6de8cf030cfa97c5f
parent9ab745d36e36e02ad14235fedcac3f19a4fff0bb
parent873f93885785105774c79b6dd2a18f5e9a454cd4
Merge pull request #15107 from bangerth/comment

Fix a funny comment.

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.