define_property(): Make BRIEF_DOCS and FULL_DOCS optional (!6875) · Merge requests · CMake / CMake

A Gitlab update will be applied on September 25 , between 6:30PM and 7:30PM, EDT (UTC-04:00). This site may have intermittent delays during that time.