Skip to content
Snippets Groups Projects
Commit 3ab8c124 authored by Christoph Grüninger's avatar Christoph Grüninger
Browse files

Merge branch 'feature/maybe_unused-replace-DUNE_UNUSED' into 'master' 

Use [[maybe_unused]] instead of DUNE_UNUSED(_PARAMETER)

See merge request core/dune-istl!427
parents c171cf18 118cd01b
No related branches found
No related tags found
1 merge request!427Use [[maybe_unused]] instead of DUNE_UNUSED(_PARAMETER)
Pipeline #34915 failed
Stage: test
Hide whitespace changes
Inline Side-by-side
Showing
with 67 additions and 146 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment