]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6534 from tamiko/pr_6533
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 8 May 2018 14:38:26 +0000 (09:38 -0500)
committerGitHub <noreply@github.com>
Tue, 8 May 2018 14:38:26 +0000 (09:38 -0500)
commit6d55a51fbe78d1624677194f9f11879aada61a0b
treeb165fcdf828dbde4a442edff7161bc24221ac0cc
parentf030f35299967903b63df1eaf8b1d4d1a29578ed
parentcb3eb827de7a0c732cfb46e4a723039d3e1ba258
Merge pull request #6534 from tamiko/pr_6533

[9.0] take over #6533

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.