]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15745 from bangerth/fixes
authorMatthias Maier <tamiko@43-1.org>
Sat, 15 Jul 2023 03:37:34 +0000 (03:37 +0000)
committerGitHub <noreply@github.com>
Sat, 15 Jul 2023 03:37:34 +0000 (03:37 +0000)
commit15fb6fe68afb43843aaff5853976345732113f7f
tree10b3f6a26592b401b28e07257ef95e95488ac150
parente082687e993323750c4a3580ae880aef1c766f74
parent5dd18a45970f29d7046d43a8e1adf34011de6077
Merge pull request #15745 from bangerth/fixes

Small markup fixes.

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.