Skip to content

add deprecation notice for `Dune::Precision`

There is already a comment that the definition here is not clear and that Precision should be removed.

Merge request reports