]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6478 from tamiko/pr_6476
authorMatthias Maier <tamiko@43-1.org>
Sat, 5 May 2018 16:33:24 +0000 (11:33 -0500)
committerGitHub <noreply@github.com>
Sat, 5 May 2018 16:33:24 +0000 (11:33 -0500)
commit523713295c41b86c4ab9f94c6b18f93ebe36cb98
tree9fcccb8a4d8bc5a3f6fccf0988f0ff39e6a44e9c
parent98208d44b01e6b60cc31ee08514633300c11fcfa
parent53d19e53f68841871c0a9a3429c122f2baca57cd
Merge pull request #6478 from tamiko/pr_6476

[9.0] take over #6476

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.