Skip to content

Generate dune-project by default

Lennard Gäherrequested to merge
lennard/dune-project-file into main

Fix #10 (closed).

Edited by Lennard Gäher

Merge request reports