]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12269 from bangerth/aligned-3
authorDaniel Arndt <arndtd@ornl.gov>
Fri, 21 May 2021 13:11:08 +0000 (09:11 -0400)
committerGitHub <noreply@github.com>
Fri, 21 May 2021 13:11:08 +0000 (09:11 -0400)
commit8c372193b9e91c0968a04f3aa7939f4d14ca2cca
tree333da81e2ad347dd6dd459a01b7d697e4d168ea0
parent2946051880b5c674f141397219349fbfa579a6ac
parent968aca114e1fb0738e2305cb0ff8a64475ead238
Merge pull request #12269 from bangerth/aligned-3

Remove a destructor now no longer necessary.

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.