]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8231 from tamiko/pr_8230
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Fri, 17 May 2019 20:04:15 +0000 (22:04 +0200)
committerGitHub <noreply@github.com>
Fri, 17 May 2019 20:04:15 +0000 (22:04 +0200)
commit913a34e84ad3e70571e7f2243119222e147aaf49
tree1ae8bd5508d62c33dd03a046d1a57603fb35da69
parent52f6884112b2b5877551a747aa6b6b350e011e68
parent43200e01da73aaab8555f73e6b05da3d440cc907
Merge pull request #8231 from tamiko/pr_8230

[9.1] Take over #8230

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.