]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17862 from bangerth/cleanup
authorTimo Heister <timo.heister@gmail.com>
Fri, 15 Nov 2024 20:18:24 +0000 (15:18 -0500)
committerGitHub <noreply@github.com>
Fri, 15 Nov 2024 20:18:24 +0000 (15:18 -0500)
commitfe119a5d17e0bd36787ab725f1a46c20bfbfeaea
tree6f434a1137f863685ca7db2e6ffb925a5befd998
parent06f70cbd51416f1b769d5504c132d04c1623bd4a
parent9e3d946d1386cc86942a32045cba1929e8419e0f
Merge pull request #17862 from bangerth/cleanup

Minor cleanup.

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.