]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18161 from bangerth/header
authorMartin Kronbichler <martin.kronbichler@rub.de>
Tue, 25 Feb 2025 07:07:35 +0000 (08:07 +0100)
committerGitHub <noreply@github.com>
Tue, 25 Feb 2025 07:07:35 +0000 (08:07 +0100)
commitc249e9f2d52d658fb69bb2903d129d5071c0e29b
tree12e4309f6ce95dd4d108a6ebfda9f29b8a925eda
parent20e56381790467e7a450616c74995b486cd2aba4
parent22a3f963b60df34332d37367b855238d10750a3f
Merge pull request #18161 from bangerth/header

Fix a 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.