]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #3657 from drwells/vectorspacevector-virtual-dtor
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 3 Dec 2016 23:28:57 +0000 (16:28 -0700)
committerGitHub <noreply@github.com>
Sat, 3 Dec 2016 23:28:57 +0000 (16:28 -0700)
commit50fb806b233640ba8dfb61b6bd75f382c404a3b2
tree8808bd0ab76dc91692399878bcdc108b0dfb87d5
parent10f6337979573e2fd6bdd40be5f3bdc4f0cf4935
parentd11a7e1a76d6d1d24e5f5b6c6fb0da5f770aff98
Merge pull request #3657 from drwells/vectorspacevector-virtual-dtor

Make VectorSpaceVector's 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.