]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18234 from bangerth/include master
authorBruno Turcksin <bruno.turcksin@gmail.com>
Wed, 12 Mar 2025 20:00:13 +0000 (15:00 -0500)
committerGitHub <noreply@github.com>
Wed, 12 Mar 2025 20:00:13 +0000 (15:00 -0500)
commitfc11082d3eab12e8a0687f1d10331cf6bcd5cbfa
treefa269b11f20a4aeb9900719073763344f28681f7
parent8fc7e873c17c5bff5685f894ec625f7a97b3b1e0
parentef5078604ab2e5b30dc4de8f9800b44df45ec9e9
Merge pull request #18234 from bangerth/include

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