Skip to content

use standard `[[deprecated(...)]]` attribute

Ansgar Burchardt requested to merge ansgar/dune-uggrid:use-standard-deprecated-attribute into master

Merge request reports