Skip to content

Remove dune-geometry patch

Dominic Kempf requested to merge feature/remove-dune-geometry-patch into master

It is obsolete on latest master.

This fixes #102 (closed)

Edited by Dominic Kempf

Merge request reports