]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18353 from bangerth/include-1
authorDavid Wells <drwells@email.unc.edu>
Sat, 12 Apr 2025 02:54:33 +0000 (22:54 -0400)
committerGitHub <noreply@github.com>
Sat, 12 Apr 2025 02:54:33 +0000 (22:54 -0400)
commit78b99bc05e0c4ed0179f0a0dcf2d5902b4e100f4
tree6b98e0219dce279afb48eedc5f1e5a7644078fb8
parentb5b616642a78f8bc6533356d7976ee09216841fe
parent79c23da3e3056588c96f8f3819860e2deb680687
Merge pull request #18353 from bangerth/include-1

Add a necessary header.

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.