Skip to content

cmake: Only write config.hpp when changed#203

Open
waywardmonkeys wants to merge 1 commit into
Gecode:release/6.3.0from
waywardmonkeys:cmake-rewrite-config-less
Open

cmake: Only write config.hpp when changed#203
waywardmonkeys wants to merge 1 commit into
Gecode:release/6.3.0from
waywardmonkeys:cmake-rewrite-config-less

cmake: Only write config.hpp when changed

8a00302
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs