]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6515 from tamiko/pr_6508
authorWolfgang Bangerth <bangerth@colostate.edu>
Tue, 8 May 2018 14:38:00 +0000 (09:38 -0500)
committerGitHub <noreply@github.com>
Tue, 8 May 2018 14:38:00 +0000 (09:38 -0500)
commitf030f35299967903b63df1eaf8b1d4d1a29578ed
tree964e6af34f6ae1ab6dea944d4eb839958f94396b
parent53f59ef41f300ed8f59e1da9fca844296a7bef8b
parent390993fd2c27a8ab16d5220c7400420137b25335
Merge pull request #6515 from tamiko/pr_6508

[9.0] take over #6508, #6519

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.