]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18091 from bangerth/includes
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 6 Feb 2025 09:56:57 +0000 (10:56 +0100)
committerGitHub <noreply@github.com>
Thu, 6 Feb 2025 09:56:57 +0000 (10:56 +0100)
commit3e497451f75b02a2dbb452fcfc929653f47fc12f
tree67414edd2dc7c51d6320b708a4c88531e9316684
parente952c59d84598da259130aecbc8e4db07b62ebb8
parentaec21f81d59ed0ae258e7199128d2174d3bd0ca7
Merge pull request #18091 from bangerth/includes

Be more precise what we need to #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.