]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #8640 from drwells/add-virtual-dtor
authorDavid Wells <drwells@email.unc.edu>
Mon, 26 Aug 2019 01:04:19 +0000 (21:04 -0400)
committerGitHub <noreply@github.com>
Mon, 26 Aug 2019 01:04:19 +0000 (21:04 -0400)
commita921fb5f6f5ebb0805139a7783c71a7ee4024ef6
treed03054075c26e620a8debcf652f8480f71374106
parentd9bfcafcfd30d60dd9d5f506e876e6116c224ae1
parent80fd1c0354b4ecb84766a485dd7f81d0aadbe4a7
Merge pull request #8640 from drwells/add-virtual-dtor

Make a destructor virtual.

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.