]> https://gitweb.dealii.org/ - dealii.git/commit
fix a -Wdtor warning 12060/head
authorMatthias Maier <tamiko@43-1.org>
Tue, 20 Apr 2021 01:09:09 +0000 (20:09 -0500)
committerMatthias Maier <tamiko@43-1.org>
Tue, 20 Apr 2021 01:09:09 +0000 (20:09 -0500)
commitaef6672c82c654b96db6d169ff67e7790ff7e285
tree923edf1416418bd13b3b784571e479a891c40695
parentd0adf306fe21f80b771a531ac2b6e89a9fc80523
fix a -Wdtor warning
source/sundials/sunlinsol_wrapper.cc

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.