Remove argument from cmake command finalize_dune_project
Compare changes
- Simon Praetorius authored
+ 1
− 1
The argument to finalize_dune_project
is not needed any more. This MR removes it and thus removes also the corresponding warning message.