]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8923 from bangerth/update-2
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Fri, 18 Oct 2019 12:28:43 +0000 (14:28 +0200)
committerGitHub <noreply@github.com>
Fri, 18 Oct 2019 12:28:43 +0000 (14:28 +0200)
commit8c3c6dfa71026c62c82b912d5f3f028cf0896044
tree451d46cc96297e4b3b200b6eae066ca3363f751a
parent118d88ac28bd9920bb2b60f20a7471454b282aba
parentb9af8fdae4818c08a971f3a8e0f74f751fcccf56
Merge pull request #8923 from bangerth/update-2

More minor updates.

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.