]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10288 from tamiko/pr_10280
authorMatthias Maier <tamiko@43-1.org>
Wed, 20 May 2020 19:34:47 +0000 (14:34 -0500)
committerGitHub <noreply@github.com>
Wed, 20 May 2020 19:34:47 +0000 (14:34 -0500)
commitc9eee6674b559dd4940da9d72782ce13bea41066
tree8c548a8e3da0ca0c6774432e8d6503ebb30d29d7
parent5062e4a55ed8c8e2ef0fc9c28946577595ad43f8
parentbe312c927152a614f0fd7da882955611602b7db7
Merge pull request #10288 from tamiko/pr_10280

Take over #10280

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.