]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #12000 from bangerth/15-6
authorDavid Wells <drwells@email.unc.edu>
Thu, 1 Apr 2021 19:39:18 +0000 (15:39 -0400)
committerGitHub <noreply@github.com>
Thu, 1 Apr 2021 19:39:18 +0000 (15:39 -0400)
commitc5eaadb9c07763cf8f6e260b64f2a0ccf88d98e6
tree4e21ae2c7c5766fb887fa302d531d78f6c531745
parent7cedc5eab194bc928aa35dcc93a173a55018747d
parent6d27e26afb2f27e58e14531a8434f49616d04f61
Merge pull request #12000 from bangerth/15-6

Remove an unnecessary destructor in step-15

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.