]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15926 from kronbichler/remove_unnecessary_include2
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 24 Aug 2023 19:48:03 +0000 (13:48 -0600)
committerGitHub <noreply@github.com>
Thu, 24 Aug 2023 19:48:03 +0000 (13:48 -0600)
commit5ad4892680d68b06c6a9a13c3d041fd8c170e3d7
treee244fa53242913b19cec3e620fdf8e8cd1c29804
parent80a9f988d40180aee700ce3c19b008ab8f81d124
parent17279adf68074f7970d9030b9432614429298bfc
Merge pull request #15926 from kronbichler/remove_unnecessary_include2

Remove unnecessary include file

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.