]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #9139 from bangerth/grammar
authorDavid Wells <drwells@email.unc.edu>
Thu, 5 Dec 2019 04:05:48 +0000 (23:05 -0500)
committerGitHub <noreply@github.com>
Thu, 5 Dec 2019 04:05:48 +0000 (23:05 -0500)
commit20731296f17f6e8b862a74ed6b9945a3e23142cf
tree86962a3f619d00ef96e4703c02cc61d69663bc13
parent1c2e9c8255e1905c29f2279afd149e8a6842eda3
parentd1ae02b66eac5a80ad876a5c97393dc7c4a120f6
Merge pull request #9139 from bangerth/grammar

Be consistent in capitalizing text. Other minor updates.

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.