]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #16550 from masterleinad/add_missing_includes
authorMartin Kronbichler <martin.kronbichler@rub.de>
Sat, 27 Jan 2024 07:05:27 +0000 (08:05 +0100)
committerGitHub <noreply@github.com>
Sat, 27 Jan 2024 07:05:27 +0000 (08:05 +0100)
commit8a6bfe64d10f80c1b335e39d19ef1bf1f8bb0b04
tree2ab31e8a44d42c1947ee2efea35a7aee65820d60
parent2d482b27ea664466d818f3de4961415f6e0f9507
parent35da3d16935b3c5edc8fe62bcbc2bfcfc3948b83
Merge pull request #16550 from masterleinad/add_missing_includes

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