WIP: playground for config.h replacement
3 unresolved threads
3 unresolved threads
Compare changes
Files
2- Simon Praetorius authored
Conflict: This file was modified in both the source and target branches.
Ask someone with write access to resolve it.
+ 20
− 3
@@ -1198,11 +1198,28 @@ endmacro(add_dune_all_flags targets)
@@ -1213,4 +1230,4 @@ macro(dune_add_config_header _config_hh_in _config_hh)