]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #18082 from bangerth/cycle
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 4 Feb 2025 16:10:55 +0000 (17:10 +0100)
committerGitHub <noreply@github.com>
Tue, 4 Feb 2025 16:10:55 +0000 (17:10 +0100)
commitb9ff8324c84d35896fe9a3cf2591a78d54427c47
tree374f09bfc2ac762342d10ce5e56496644af19dd3
parent0197265e2b9d308f9decf136f81a67752348e239
parente96eb92d98470f438183b7af79d54f0b554e3db3
Merge pull request #18082 from bangerth/cycle

Do not include unnecessary 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.