]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #13630 from drwells/cleanup-includes
authorPeter Munch <peterrmuench@gmail.com>
Fri, 22 Apr 2022 15:05:10 +0000 (17:05 +0200)
committerGitHub <noreply@github.com>
Fri, 22 Apr 2022 15:05:10 +0000 (17:05 +0200)
commiteb77e9448cf516d6f9c5928a368ced66419ee37c
treee3bb1c751bca6677674d7c1cf6e1c600805e9064
parent44c590186080dded91c6cd8f1cffbc7145013989
parentb539987056a738057f3c10f9bec1b8bc6276982f
Merge pull request #13630 from drwells/cleanup-includes

Cleanup 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.