Merge branch 'develop' into 1813-user-input

This commit is contained in:
Francois Chabot authored and GitHub committed 2020-05-28 03:40:34 -04:00
commit d3caf93ab0
2 files changed
+23 -1

No files matched your search

+1 -1
View File
@@ -148,7 +148,7 @@ Example:
include(FetchContent)
FetchContent_Declare(json
GIT_REPOSITORY https://github.com/nlohmann/json
GIT_REPOSITORY https://github.com/nlohmann/json.git
GIT_TAG v3.7.3)
FetchContent_GetProperties(json)