]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10264 from tamiko/pr_10257
authorMatthias Maier <tamiko@43-1.org>
Tue, 19 May 2020 02:34:08 +0000 (21:34 -0500)
committerGitHub <noreply@github.com>
Tue, 19 May 2020 02:34:08 +0000 (21:34 -0500)
commite48dfe584588dcacc8eb71fd891e232595d55d9b
tree76e56d74b7da17fa3bab377d7cc307d5e80fa0e8
parentd8e0816f647082ac2b70243223095e3cd4a8111d
parentffaa4960ac250ac8ea9cf4303b19a885598f27a4
Merge pull request #10264 from tamiko/pr_10257

[9.2] Take over #10257

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.