]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13375 from bangerth/doc
authorMatthias Maier <tamiko@43-1.org>
Tue, 15 Feb 2022 11:09:06 +0000 (05:09 -0600)
committerGitHub <noreply@github.com>
Tue, 15 Feb 2022 11:09:06 +0000 (05:09 -0600)
commit784be151dd43c98cd6d4a2ef2a2e48977d4a2993
tree7cc8c6fad163ddcad1cf92f162702d04a8a3ab13
parent08cd5e441dd6a93fbcd1f49671f103397300f7f7
parentd0d40971f1867c710209588645a906a2293a3744
Merge pull request #13375 from bangerth/doc

Augment a doc string.

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.