Skip to content

Rename CMake option CHAI_DISABLE_RM to CHAI_ENABLE_MANAGER#250

Open
adayton1 wants to merge 2 commits intodevelopfrom
task/rename_cmake_option
Open

Rename CMake option CHAI_DISABLE_RM to CHAI_ENABLE_MANAGER#250
adayton1 wants to merge 2 commits intodevelopfrom
task/rename_cmake_option

Commits

Commits on Mar 4, 2024