]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #15184 from bangerth/scope-exit
authorDaniel Arndt <arndtd@ornl.gov>
Mon, 8 May 2023 12:45:55 +0000 (08:45 -0400)
committerGitHub <noreply@github.com>
Mon, 8 May 2023 12:45:55 +0000 (08:45 -0400)
commit9dca3ea2516592fc6076387f6ace44a23fb24302
tree857f4a95dfa76934b7c777789357e6137151182c
parente63afeb8d18314ea174a0127fe8031c2f3f10b1b
parent49bb05718b2e8f572619e29dde27489605c9d2e4
Merge pull request #15184 from bangerth/scope-exit

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.