]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17796 from peterrum/remove_includes
authorDavid Wells <drwells@email.unc.edu>
Mon, 21 Oct 2024 19:26:26 +0000 (15:26 -0400)
committerGitHub <noreply@github.com>
Mon, 21 Oct 2024 19:26:26 +0000 (15:26 -0400)
commit7f3fb24d6c79f69582a01cba27c090225d0d32a0
tree507665c4cdd8ad17b5c3782b78d6d80196fa3747
parent436d0797c3819d7d0162fcef91e1cdc515c832b0
parent8e859d1e0b0daddb49093a8814c18772bb72a380
Merge pull request #17796 from peterrum/remove_includes

Remove some 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.