Skip to content
Snippets Groups Projects
Commit 3734f8d2 authored by Steffen Müthing's avatar Steffen Müthing
Browse files

Merge branch 'master' into feature/FS1557-add-all-flags-by-default 

* master:
  Allow enabling dune_symlink_to_source_tree from the opts file
  Fix dune_symlink_to_source_tree for cmake 3.1
parents 2c3c90f3 0154ec05
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment