Skip to content
Snippets Groups Projects

Remove argument from cmake command finalize_dune_project

Merged Praetorius, Simon requested to merge feature/update-finalize-dune-project into master
Loading