]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #17297 from bangerth/close
authorMartin Kronbichler <martin.kronbichler@rub.de>
Sat, 20 Jul 2024 20:24:59 +0000 (22:24 +0200)
committerGitHub <noreply@github.com>
Sat, 20 Jul 2024 20:24:59 +0000 (22:24 +0200)
commitf207dfb774739d0b3d881bdc189b9409f97d3fd7
treec5d6bdfadd0eb9399c39339c9aa87f58e2395788
parent9851e01426e532aaa181bee31b40b16d8b0e99fe
parentf1179495132066f7db7da6e8a8f757285c0346c7
Merge pull request #17297 from bangerth/close

No need to explicity call 'close()' at the end of a scope.
source/grid/tria.cc

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.