]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18221 from bangerth/includes
authorMartin Kronbichler <martin.kronbichler@rub.de>
Tue, 11 Mar 2025 07:02:28 +0000 (08:02 +0100)
committerGitHub <noreply@github.com>
Tue, 11 Mar 2025 07:02:28 +0000 (08:02 +0100)
commitbe1c491258944d9c070662075d31dba0a8d2f42b
tree74947eceb5ede05f34746d15d5db1ae197c6beeb
parent5a921070fed9daa6417ed24a1b263cf24b772a42
parent4fc705b193c2c8305d6df6ee5aa0739be1ca2ec2
Merge pull request #18221 from bangerth/includes

Add missing #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.