-
- Downloads
There was a problem fetching the pipeline summary.
Merge branch 'bugfix/UseUG-pass-OBJECT-option' into 'master'
Pass `OBJECT` option to `add_dune_mpi_flags` See merge request !140
Pass `OBJECT` option to `add_dune_mpi_flags` See merge request !140
mentioned in commit 27981955