]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6588 from tamiko/pr_6587
authorDenis Davydov <davydden@gmail.com>
Sun, 13 May 2018 18:09:11 +0000 (20:09 +0200)
committerGitHub <noreply@github.com>
Sun, 13 May 2018 18:09:11 +0000 (20:09 +0200)
commit70f51a9fb710b8d340e491b4b9aaa9925332437c
tree3fd8a1d4c7a9daf77286de22bbc72b9f404741e2
parente9f6e3ab9d495d9c8a14b11e2d4a374b6acc6fa1
parent21797a6c58e6d79aafc6cb6ce054ce439d190876
Merge pull request #6588 from tamiko/pr_6587

[9.0] take over #6587

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.