]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6563 from tamiko/pr_6542
authorWolfgang Bangerth <bangerth@colostate.edu>
Thu, 10 May 2018 01:54:47 +0000 (20:54 -0500)
committerGitHub <noreply@github.com>
Thu, 10 May 2018 01:54:47 +0000 (20:54 -0500)
commitefe2dd00dad78b1ee5de6e55520a0b7fcd3c70b5
tree1d426be8ade819cc40f0053530d64ae2240414b7
parente549f8f0bf21549501585fdb78475e6e893c5f43
parentd5ed407d1a8b30b4dcfad8545067153259487f55
Merge pull request #6563 from tamiko/pr_6542

[9.0] take over #6542

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.