Patrick Williams | f8ae65c | 2022-03-21 10:21:36 -0500 | [diff] [blame] | 1 | [wrap-git] |
Patrick Williams | f8ae65c | 2022-03-21 10:21:36 -0500 | [diff] [blame] | 2 | revision = HEAD |
Patrick Williams | 4444a13 | 2023-12-08 06:35:17 -0600 | [diff] [blame^] | 3 | url = https://github.com/nlohmann/json.git |
Patrick Williams | f8ae65c | 2022-03-21 10:21:36 -0500 | [diff] [blame] | 4 | |
5 | [provide] | ||||
6 | nlohmann_json = nlohmann_json_dep |