]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14800 from bangerth/grammar
authorDavid Wells <drwells@email.unc.edu>
Wed, 15 Feb 2023 15:19:33 +0000 (10:19 -0500)
committerGitHub <noreply@github.com>
Wed, 15 Feb 2023 15:19:33 +0000 (10:19 -0500)
commit52ddd1508c82e0ffbd5b38021f536ddd19e80715
tree80a29e0aa7621b1908515667ca9f5b57134ca03c
parent8b2974bc41876a67d66821c966a3945993edab85
parente488ee155faafc720ba7ab0bc54b8f7a06af9cf9
Merge pull request #14800 from bangerth/grammar

Fix a grammar mistake.

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.