Skip to content

Replace DUNE_DEPRECATED by [[deprecated]]

Ansgar Burchardt requested to merge fix/dune_deprecated_macro into master

@oliver.sander_at_tu-dresden.de can you have a look?

Merge request reports

Loading