Skip to content

CMake version.cpp: switch back to add_custom_target#2657

Merged
kroening merged 1 commit intodiffblue:developfrom
smowton:smowton/fix/cmake-version-cpp
Aug 1, 2018

Commits

Commits on Aug 1, 2018