Closed pfultz2 closed 7 years ago
This avoids problem when using add_subdirectory.
add_subdirectory
Hi, Paul: Please make a pull request to develop branch instead of master one.
@tingxingdong You can nowadays switch the target branch in GitHub after the pull request was made
This avoids problem when using
add_subdirectory
.