cmake

Oct 5, 2020

80cf441 · Oct 5, 2020

Name	Name	Last commit message	Last commit date
parent directory ..
options.cmake	options.cmake	wip: prepend more CMake options with MIR_	Oct 5, 2020
version.cmake	version.cmake	CMAKE_SOURCE_DIR -> CMAKE_CURRENT_SOURCE_DIR	Nov 25, 2019

Provide feedback