graeser pushed to project branch master at agnumpde / dune-solvers

graeser
2025-01-26T21:12:34Z

graeser (1a54ff0d) at 26 Jan 21:12

Merge branch 'cleanup/remove-arithmetic' into 'master'

... and 1 more commit