]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6561 from tamiko/pr_6555
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 10 May 2018 00:23:29 +0000 (19:23 -0500)
committerGitHub <noreply@github.com>
Thu, 10 May 2018 00:23:29 +0000 (19:23 -0500)
commite549f8f0bf21549501585fdb78475e6e893c5f43
tree7ed68c4ffe3a5252c01fa9b76790c6c7f2c45a80
parentc7dc272db8863342c473ae8bfea71bd5f0489b58
parent4e4f751e84999217cda4ad2398ffb2c265d9190c
Merge pull request #6561 from tamiko/pr_6555

[9.0] take over #6555

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.