]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6551 from tamiko/pr_6540
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 9 May 2018 02:41:36 +0000 (21:41 -0500)
committerGitHub <noreply@github.com>
Wed, 9 May 2018 02:41:36 +0000 (21:41 -0500)
commit4e332e30c717c0c7d5aead89e55fa3d144f86144
tree770bae9db1a1e322d7caeb169c4853347a524718
parent27f62c0b80f6f83c966bfb23652596df8ef3641c
parent834b9a5f5391831769a8f83c1e42a4699c3c14f0
Merge pull request #6551 from tamiko/pr_6540

[9.0] take over #6540

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.