]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18237 from bangerth/std-headers
authorMartin Kronbichler <martin.kronbichler@rub.de>
Thu, 13 Mar 2025 07:17:17 +0000 (08:17 +0100)
committerGitHub <noreply@github.com>
Thu, 13 Mar 2025 07:17:17 +0000 (08:17 +0100)
commit1acc3074aa35f4d40dece1157b5c44ad1a99e071
tree297e2684ac58dee51f7e86012b4ccca310221b95
parentfc11082d3eab12e8a0687f1d10331cf6bcd5cbfa
parentc970c5e1652dc8a3417930d829a794d6cc4d5ce5
Merge pull request #18237 from bangerth/std-headers

Add necessary std header files.

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.