Skip to content

Remove type traits after migration to dune-common

pipping requested to merge feature/remove-type-traits into master

Naturally, if anyone used Dune::Solvers::IsNumber, that would now be Dune::IsNumber. But I believe nobody was using this anyway.

Merge request reports