]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14267 from peterrum/formating_footer
authorPeter Munch <peterrmuench@gmail.com>
Tue, 13 Sep 2022 20:27:01 +0000 (22:27 +0200)
committerGitHub <noreply@github.com>
Tue, 13 Sep 2022 20:27:01 +0000 (22:27 +0200)
commit734fde1f99d5d024e951edb38a26a6e0719d7595
treef46627a02674b274ff5c5cf5a9c12b6b654335b4
parent2c2b9513d9e7d7fe84465e3dc9da78fcade5c8e5
parentf5f0197a51fbc68e5195fb616c6bc5a87f59e386
Merge pull request #14267 from peterrum/formating_footer

Fix formatting

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.