Skip to content
Snippets Groups Projects
Commit 31f19a49 authored by Elias Pipping's avatar Elias Pipping
Browse files

Merge branch 'feature/remove-type-traits' into 'master'

Remove type traits after migration to dune-common

See merge request !13
parents 52ad277d 446067ed
No related branches found
No related tags found
1 merge request!13Remove type traits after migration to dune-common
Pipeline #