]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18134 from bangerth/precise
authorDaniel Arndt <arndtd@ornl.gov>
Sat, 15 Feb 2025 15:52:56 +0000 (10:52 -0500)
committerGitHub <noreply@github.com>
Sat, 15 Feb 2025 15:52:56 +0000 (10:52 -0500)
commitce4370862cacc3672c10c73b94e1c4a0dd3c6616
tree23ba74a620c978f5742b36ac07e6ce9bf963fb90
parent9d42f38b55336a9a3ff8ac81d36d1db9639eb612
parent4acce4734112e1c1de130e0ff478f0491fe5c48c
Merge pull request #18134 from bangerth/precise

Be more precise with what we #include, part 4: Include ADOLC headers where necessary.

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.