Revert "Merge branch 'feature/add_scotch_par_metis_flags' into 'master'" (!81) · Merge requests · docker / CI Images · GitLab

Simon Praetorius requested to merge revert-824996c8 into master Nov 05, 2020

This reverts merge request !78 (merged)

The flags added to the toolchain files are not needed anymore. This required core/dune-common!887 (merged)

Edited Nov 05, 2020 by Simon Praetorius