From: Marc Fehling Date: Tue, 18 Apr 2023 18:53:07 +0000 (-0600) Subject: Merge pull request #15108 from bangerth/heading X-Git-Tag: v9.5.0-rc1~317 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=172f7afe2b4c63e56751d9ad337d219ebfcc20a0;p=dealii.git Merge pull request #15108 from bangerth/heading Fix heading level in step-7 results.dox. --- 172f7afe2b4c63e56751d9ad337d219ebfcc20a0