The TS-GitLab will have to shut down towards the end of the year — please think about migrating your projects to GitLab.com or GitHub.
(This is still a very early message, meant to keep you informed. There will be more urgent ones in the future.)

Commit 782804d8 authored by Lukas Riedel's avatar Lukas Riedel
Browse files

Suppress 'delete-non-virtual-dtor' warnings for Clang in DUNE headers

parent 7c2ca718