Patrick Williams | 8d5dff5 | 2021-04-16 10:52:54 -0500 | [diff] [blame] | 1 | [wrap-git] |
Patrick Williams | 8d5dff5 | 2021-04-16 10:52:54 -0500 | [diff] [blame] | 2 | revision = HEAD |
Patrick Williams | 96439f1 | 2023-12-07 12:16:44 -0600 | [diff] [blame] | 3 | url = https://github.com/nlohmann/json.git |
4 | |||||
5 | [provide] | ||||
6 | nlohmann_json = nlohmann_json_dep |