]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15108 from bangerth/heading
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 18 Apr 2023 18:53:07 +0000 (12:53 -0600)
committerGitHub <noreply@github.com>
Tue, 18 Apr 2023 18:53:07 +0000 (12:53 -0600)
commit172f7afe2b4c63e56751d9ad337d219ebfcc20a0
treeac1ed9975e758aa2bb84b7059cd5622788d283a7
parent7d19eefa54dabeaeabb517f3bf80541087f7aed0
parent78b0844bc37a303e610c041489b7a2e28dd5f8eb
Merge pull request #15108 from bangerth/heading

Fix heading level in step-7 results.dox.

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.