Skip to content

Generate dune-project by default

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

Fix #10 (closed).

Edited by Lennard Gäher

Merge request reports