Commit 133356fc authored by Praetorius, Simon's avatar Praetorius, Simon

Merge branch 'feature/attributes' into 'master'

use standard attributes instead of dune macros

See merge request !222
parents beedaf81 f47c56f1
Pipeline #5095 passed with stage
in 39 minutes and 47 seconds