]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18110 from bangerth/header
authorDavid Wells <drwells@email.unc.edu>
Mon, 10 Feb 2025 18:52:52 +0000 (13:52 -0500)
committerGitHub <noreply@github.com>
Mon, 10 Feb 2025 18:52:52 +0000 (13:52 -0500)
commit02a8782b66d4e23fa48fbfbc644df87a42628321
tree474cfd569b55f324e41bb454c283a4a00770244c
parent29b86fc9a2b3ba04843fc46e185cd5b7e337cbb8
parent6eec2a47ebe201e40564ee1bd60d859f8b1da84f
Merge pull request #18110 from bangerth/header

Add necessary header includes.

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.