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

graeser
2025-01-26T20:41:39Z

graeser (916cc8f5) at 26 Jan 20:41

Merge branch 'cleanup/stop-using-arithmetic' into 'master'

... and 1 more commit