WIP: playground for config.h replacement
3 unresolved threads
3 unresolved threads
Compare changes
Files
6
Conflict: This file was modified in both the source and target branches.
Ask someone with write access to resolve it.
+ 43
− 21
@@ -681,11 +681,7 @@ macro(dune_project)
@@ -809,9 +805,12 @@ macro(finalize_dune_project)
@@ -843,10 +842,8 @@ if(${ProjectName}_LIBRARIES)
@@ -868,9 +865,10 @@ endif()")
@@ -917,9 +915,12 @@ endif()
@@ -929,7 +930,7 @@ endif()
@@ -937,12 +938,15 @@ endif()
@@ -1193,3 +1197,21 @@ macro(add_dune_all_flags targets)