]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9170 from bangerth/60
authorDaniel Arndt <arndtd@ornl.gov>
Fri, 13 Dec 2019 17:06:14 +0000 (12:06 -0500)
committerGitHub <noreply@github.com>
Fri, 13 Dec 2019 17:06:14 +0000 (12:06 -0500)
commit7b8a35215a96d52b7d54690f8628e5404d6b567e
treee8cf41e97acf5c80996273f38481ee9b9e6a20a7
parent398ca422e3cd7109a448b9a5a08b6ec3cd456b97
parent47a5513d64ccdd379381a3b25f16aa03b581cf48
Merge pull request #9170 from bangerth/60

Fix formatting.

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.