Merge pull request #18249 from bangerth/include
authorBruno Blais <blais.bruno@gmail.com>
Sun, 16 Mar 2025 19:18:53 +0000 (15:18 -0400)
committerGitHub <noreply@github.com>
Sun, 16 Mar 2025 19:18:53 +0000 (15:18 -0400)
commit5241f990fbb799c4669f03f01eee7a9b097d3e2b
tree6c17390d47595477d870ae486afb6c2c77afb386
parent6fb608615ff1e422df194c912eb54554c124d40e
parent55d5cb76df1522d0d9c3f11c455646600a12a2e4
Merge pull request #18249 from bangerth/include

Some more std 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.