]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #11876 from Rombur/deleter
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Wed, 10 Mar 2021 06:20:53 +0000 (07:20 +0100)
committerGitHub <noreply@github.com>
Wed, 10 Mar 2021 06:20:53 +0000 (07:20 +0100)
commit8f37416b465da42da8c99c95fec95a8dbde5de4f
tree2c30747d124b018a433980a35afa78c2e9842f85
parente1de5bf96483b244ee36943d7af0af904411222d
parent95cd76aab124c4eb8494afd13908a6577c17caeb
Merge pull request #11876 from Rombur/deleter

Deleter takes a pointer not a reference

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.