]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8112 from masterleinad/revert_pr_8111
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Sun, 12 May 2019 17:20:49 +0000 (19:20 +0200)
committerGitHub <noreply@github.com>
Sun, 12 May 2019 17:20:49 +0000 (19:20 +0200)
commitf13d6f540e7e4e6f82419752a3a8a9e3ccd4e532
treeb477ecb9dc744058988d16b9bd6c048e3e435caf
parentf026e95e7c7f188bf12dada130bf61116379d976
parent7e0489428d287ccd787546624bb9fa1db0e52cf9
Merge pull request #8112 from masterleinad/revert_pr_8111

Revert #8082

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.