]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #14250 from drwells/include-utilities-cleanup
authorMatthias Maier <tamiko@43-1.org>
Mon, 12 Sep 2022 14:43:56 +0000 (09:43 -0500)
committerGitHub <noreply@github.com>
Mon, 12 Sep 2022 14:43:56 +0000 (09:43 -0500)
commit04f2a8856078fdd90e53a2dc12e080acd275ea54
treecd75ac92e06694bc9ef0dc87e2e33421d63b3d45
parentf1878b4820805e73c2565e51b5ecabf05dbfcda9
parent8b45efc4505f728e2911664fe33fae282d15a249
Merge pull request #14250 from drwells/include-utilities-cleanup

cleanup some more header inclusions.

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.