Skip to content

Remove argument from cmake command finalize_dune_project

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

The argument to finalize_dune_project is not needed any more. This MR removes it and thus removes also the corresponding warning message.

Merge request reports

Loading