Skip to content
Snippets Groups Projects

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

Merged Use [[maybe_unused]] instead of DUNE_UNUSED(_PARAMETER)
feature/maybe_unused-replace-DUNE_UNUSED into master
Merged Christoph Grüninger requested to merge feature/maybe_unused-replace-DUNE_UNUSED into master
  1. Mar 16, 2021