]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12400 from drwells/virtual-dtor
authorMarc Fehling <mafehling.git@gmail.com>
Tue, 8 Jun 2021 00:17:10 +0000 (18:17 -0600)
committerGitHub <noreply@github.com>
Tue, 8 Jun 2021 00:17:10 +0000 (18:17 -0600)
commit1eb899eca64166bc35933c18fab4a2132ad702b9
tree7f986be55533053d0f767ec5f5802adf66181fea
parent8c2b6ac36a9341175df4170a27d2ec58a8f91e17
parentff721d69f4e21f354754b60c3fcdc28310190431
Merge pull request #12400 from drwells/virtual-dtor

Mark a destructor as 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.