Skip to content
Snippets Groups Projects
user avatar
Dominic Kempf authored
Patching the dune core modules just to have the advantages of
symlinks to the source tree is a bad idea. The patch introduces
a check for the variable DUNE_SYMLINK_TO_SOURCE_TREE instead, which
enables the macro if set.
0154ec05
History