]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11986 from bangerth/15-2
authorDaniel Arndt <arndtd@ornl.gov>
Wed, 31 Mar 2021 14:54:16 +0000 (10:54 -0400)
committerGitHub <noreply@github.com>
Wed, 31 Mar 2021 14:54:16 +0000 (10:54 -0400)
commitd002b101fcb94246913c664b737039aae4c2ff32
treed20d82aabbf9bd084b856d90a1d97a0a33e50f40
parent601c0f7ac9ebcd4a3c4ff24571351b822bbc71f5
parent8020a79e5e2382b25a4a834d1d2f53684bbff4f9
Merge pull request #11986 from bangerth/15-2

Remove unnecessary header 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.