]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18127 from bangerth/fix-1
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 13 Feb 2025 06:27:10 +0000 (07:27 +0100)
committerGitHub <noreply@github.com>
Thu, 13 Feb 2025 06:27:10 +0000 (07:27 +0100)
commit88d69196f5c0920e8226dd955cc76f09e339a3e4
treea12b9b59690dee29cc093129dfd97e7093ec6a73
parentc907f9578c9215b9aa8fe234745063fe919b65d7
parent062c59c78d00c4b8caaafc0c58601dd01d98a275
Merge pull request #18127 from bangerth/fix-1

Move an #include outside namespace dealii.

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.