]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #6547 from tamiko/pr_6536
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 9 May 2018 00:44:01 +0000 (19:44 -0500)
committerGitHub <noreply@github.com>
Wed, 9 May 2018 00:44:01 +0000 (19:44 -0500)
commitb3acc755af1f18fad9664e22ffbdfc9fcf172915
tree5f6b4af43388f37f835a18e7359c0a339037dd13
parent65a3e663640023f8651e5ab794178a9ad216d402
parent4611546fea593aa8f186a790ce6eb80fbcd72737
Merge pull request #6547 from tamiko/pr_6536

[9.0] take over #6535, #6536

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.