]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8414 from bangerth/x
authorDaniel Arndt <arndtd@ornl.gov>
Thu, 25 Jul 2019 21:33:05 +0000 (17:33 -0400)
committerGitHub <noreply@github.com>
Thu, 25 Jul 2019 21:33:05 +0000 (17:33 -0400)
commitd61edfe998c4fcf694711c2c7b73a01765c7f105
tree19cd64a5ba693d239a4ea7ebd350beccd8c68832
parent2cce0d6c174117bb208e0c9ebf89ef9922b64f7b
parent41370a7867159fc74d9e129dfaa28a493061690e
Merge pull request #8414 from bangerth/x

Minor clean-ups.

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.