]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18160 from bangerth/header
authorPeter Munch <peterrmuench@gmail.com>
Mon, 24 Feb 2025 06:36:59 +0000 (07:36 +0100)
committerGitHub <noreply@github.com>
Mon, 24 Feb 2025 06:36:59 +0000 (07:36 +0100)
commit57b68cf55715b2a3414ca60095051c5ab064411d
tree56ebc9f46c5cef432a6b9958c1065d5b599d7271
parentc61376a70f0c32a10e5a975e5e8b51e407c9181d
parent43cd63c1ae6cb0f106763ae79bdee85edc371d6e
Merge pull request #18160 from bangerth/header

Add missing #include.

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.