CMake version.cpp: switch back to add_custom_target#2657
Merged
kroening merged 1 commit intodiffblue:developfrom Aug 1, 2018
Merged
CMake version.cpp: switch back to add_custom_target#2657kroening merged 1 commit intodiffblue:developfrom
kroening merged 1 commit intodiffblue:developfrom
