CMake: allow skipping include of settings.cmake#40
Open
axel-h wants to merge 2 commits intoseL4:masterfrom
Open
CMake: allow skipping include of settings.cmake#40axel-h wants to merge 2 commits intoseL4:masterfrom
axel-h wants to merge 2 commits intoseL4:masterfrom
