]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16718 from bangerth/small-stuff
authorMartin Kronbichler <martin.kronbichler@rub.de>
Wed, 6 Mar 2024 08:53:13 +0000 (09:53 +0100)
committerGitHub <noreply@github.com>
Wed, 6 Mar 2024 08:53:13 +0000 (09:53 +0100)
commit329fee6b7eef8786a0ac4b846bf529634996f26f
tree48400e7c688b3493d3ab606b394c852eebf7377d
parent86d4121fe990a4844578c2df9ecb9f1bffc1f0d3
parenta8df7403e14bbcb809e53d03b95037f741e03f05
Merge pull request #16718 from bangerth/small-stuff

Fix a grammar error.

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.