]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9893 from bangerth/cleanups
authorBruno Turcksin <bruno.turcksin@gmail.com>
Wed, 15 Apr 2020 16:59:39 +0000 (12:59 -0400)
committerGitHub <noreply@github.com>
Wed, 15 Apr 2020 16:59:39 +0000 (12:59 -0400)
commita92410c8b21ccf19f117a21b8b52657bc8bd6f79
tree6cb9a4ee05655f1491c2b2f25d24bd1762e1ad5a
parent629c7204da277bd866bb01f29984c4ad814f626e
parent0799b83544e61d2801662a9276c8f617480fba1c
Merge pull request #9893 from bangerth/cleanups

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.