]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18409 from bangerth/include
authorDavid Wells <drwells@email.unc.edu>
Fri, 2 May 2025 18:53:50 +0000 (14:53 -0400)
committerGitHub <noreply@github.com>
Fri, 2 May 2025 18:53:50 +0000 (14:53 -0400)
commitcf10505e48dd9a49c3d7f89a59ed077cc01908ec
tree22fe3bbd233945b92c71d82b10df3b99a23d3340
parentf2a6d40cb970cc8d2f7114bc4bbbb60ec7fd2939
parentc94c223e5b9d0764d7ec39a116edefdfb0f61c87
Merge pull request #18409 from bangerth/include

Add necessary header 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.