]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8190 from tamiko/pr_8188
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Thu, 16 May 2019 07:48:02 +0000 (09:48 +0200)
committerGitHub <noreply@github.com>
Thu, 16 May 2019 07:48:02 +0000 (09:48 +0200)
commitbc8a08f19b6b08f024d9ca6883dfc6a20c22fa23
tree51ff6f0ae9ca6604ce804e49f306b00ce4df9812
parentf0a869d4ffc60f843788089a574fa6f73fe7d268
parentbac2aef262e7f0821407e3ebc532ed49195904f1
Merge pull request #8190 from tamiko/pr_8188

[9.1] Take over #8188

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.