]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9587 from bangerth/follow-up
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Mon, 2 Mar 2020 19:23:55 +0000 (20:23 +0100)
committerGitHub <noreply@github.com>
Mon, 2 Mar 2020 19:23:55 +0000 (20:23 +0100)
commit4016e952f987f0bbc535968e2da54603ca6ee2cb
tree44b0f21e4cb0760e878158b3fa454c0a6254bd8d
parentf0bf91f1656ff638f42e65cb338b245eddabc0ea
parent44d9e83e858052877bd258a0f352367699fbcebc
Merge pull request #9587 from bangerth/follow-up

Follow up to #9581

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.