Skip to content

Help: extend documentation for the EXCLUDE_FROM_ALL option of add_subdirectory

This tiny branch extends the documentation of add_subdirectory() a little bit.

Merge request reports