]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #10196 from tamiko/pr_10195
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 13 May 2020 20:54:35 +0000 (22:54 +0200)
committerGitHub <noreply@github.com>
Wed, 13 May 2020 20:54:35 +0000 (22:54 +0200)
commit3785474e2af1456237abf0ca66570fb03d880a6c
tree45f7477a6cfd2835072253eb5a2dd2ed36886c84
parent9674015cec7ef2cf3563ba1aa121b487ccd30758
parent8d724a07c619effb0f20e2bc38e33afec451055d
Merge pull request #10196 from tamiko/pr_10195

[9.2] Take over #10195

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.