Patrick Williams | ef17a25 | 2023-12-07 14:53:06 -0600 | [diff] [blame] | 1 | [wrap-git] |
2 | revision = HEAD | ||||
3 | url = https://github.com/nlohmann/json.git | ||||
Mike Capps | a081956 | 2022-06-13 10:17:10 -0400 | [diff] [blame] | 4 | |
5 | [provide] | ||||
6 | nlohmann_json = nlohmann_json_dep |