Skip to content
Snippets Groups Projects

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

Merged use standard `[[deprecated(...)]]` attribute
ansgar/dune-uggrid:use-standard-deprecated-attribute into master
Merged Ansgar Burchardt requested to merge ansgar/dune-uggrid:use-standard-deprecated-attribute into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:01:50

avatar
Stage: test
Download artifacts

No artifacts found