Skip to content

[!9] [make] remove '_' from variables names to allow caching

Christian Engwer requested to merge cherry-pick-6febd472 into releases/2.6

Merge branch 'cmake-fixes' into 'master'

See merge request extensions/dune-tpmc!9

(cherry picked from commit 6febd472)

2f5c17a9 [make] remove '_' from variables names to allow caching

Merge request reports

Loading