]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12683 from bangerth/doc-5
authorMarc Fehling <mafehling.git@gmail.com>
Fri, 20 Aug 2021 02:42:20 +0000 (20:42 -0600)
committerGitHub <noreply@github.com>
Fri, 20 Aug 2021 02:42:20 +0000 (20:42 -0600)
commit4511efc1a0d7b6a7e2747abc6bdb041bed631611
tree33646aef1e24b22916af5e8dd47a20f6a4ee07a8
parentefadef6d0c1244481c6144353ec0896857776f31
parentff4ccbb9aa15454900caf0f96cbd8fd60a78d339
Merge pull request #12683 from bangerth/doc-5

Unify spelling.

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.