Patrick Williams | 1889ebf | 2021-08-27 14:38:52 -0500 | [diff] [blame] | 1 | [wrap-git] |
2 | url = https://github.com/nlohmann/json.git | ||||
3 | revision = HEAD | ||||
Patrick Williams | 3f556a8 | 2022-03-21 11:25:15 -0500 | [diff] [blame] | 4 | |
5 | [provide] | ||||
6 | nlohmann_json = nlohmann_json_dep |