From: Timo Heister Date: Tue, 29 Oct 2024 21:10:50 +0000 (-0400) Subject: Merge pull request #17816 from bangerth/tut-1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3a49caeab3bdf86c18ef634cd7de5cdf8ea6ced1;p=dealii.git Merge pull request #17816 from bangerth/tut-1 Make sure the tutorial text doesn't run into the table of contents. --- 3a49caeab3bdf86c18ef634cd7de5cdf8ea6ced1