]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18430 from bangerth/include
authorTimo Heister <timo.heister@gmail.com>
Wed, 7 May 2025 06:57:31 +0000 (02:57 -0400)
committerGitHub <noreply@github.com>
Wed, 7 May 2025 06:57:31 +0000 (02:57 -0400)
commit4c41c2c8da1f5854788ee2d5bbbd40ba9ed5466c
treebcbf6c409df03b519be8cb879ab9e6e4dc18aa39
parent14dc3829148e909c2b2e571fd3dd9e209c04de6c
parent76e342c2f4ca47ff0110214be2a192ef888e08a7
Merge pull request #18430 from bangerth/include

Include a necessary header.

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.