]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18445 from bangerth/typo
authorTimo Heister <timo.heister@gmail.com>
Mon, 12 May 2025 05:59:52 +0000 (01:59 -0400)
committerGitHub <noreply@github.com>
Mon, 12 May 2025 05:59:52 +0000 (01:59 -0400)
commit6abcdf9386f0d06ce1779663f6f1324790367af1
tree90aa41ac7526b287f2a35353abbf2f7a1652ac31
parent5b03c779526b90925dfcd49f90862a47c1588ed0
parent962f0859d7ea53394f5837735554c0cb2ff91a43
Merge pull request #18445 from bangerth/typo

Fix a typo.

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.