]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17070 from bangerth/missing-header
authorMartin Kronbichler <martin.kronbichler@rub.de>
Fri, 24 May 2024 06:37:41 +0000 (08:37 +0200)
committerGitHub <noreply@github.com>
Fri, 24 May 2024 06:37:41 +0000 (08:37 +0200)
commit019a25375002c59894c2f94eeeeb705192cdc957
tree460d6fcb44b5c94c8f5796ec85db57605c2799fb
parent1eb11cb825e74392b50e039886495a2d7ba8e272
parent7b81fdf8bce7bce0d2d009170b37a8c265ece678
Merge pull request #17070 from bangerth/missing-header

Add a missing header file.

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.