]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 47a00b6 1e7ef6f)
Merge pull request #17816 from bangerth/tut-1
authorTimo Heister <timo.heister@gmail.com>
Tue, 29 Oct 2024 21:10:50 +0000 (17:10 -0400)
committerGitHub <noreply@github.com>
Tue, 29 Oct 2024 21:10:50 +0000 (17:10 -0400)
Make sure the tutorial text doesn't run into the table of contents.


Trivial merge
Mirror of the development repository for deal.II

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.