]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18130 from bangerth/precise
authorDavid Wells <drwells@email.unc.edu>
Thu, 13 Feb 2025 13:10:43 +0000 (08:10 -0500)
committerGitHub <noreply@github.com>
Thu, 13 Feb 2025 13:10:43 +0000 (08:10 -0500)
commitb556c95dd0282ea07818c76c29f02c47886227d0
tree69cc67c44e3707a64108b5101d3034cd1c92424e
parent88d69196f5c0920e8226dd955cc76f09e339a3e4
parent070aeb313c36b820969a63f131fe8048a6e40cb5
Merge pull request #18130 from bangerth/precise

Be more precise with what we #include, part 3.

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.