| George Liu | 2b522fe | 2022-04-14 14:03:39 +0800 | [diff] [blame] | 1 | [wrap-git] |
| Patrick Williams | 3adc845 | 2023-12-07 17:14:11 -0600 | [diff] [blame] | 2 | revision = HEAD |
| George Liu | 2b522fe | 2022-04-14 14:03:39 +0800 | [diff] [blame] | 3 | url = https://github.com/nlohmann/json.git |
| Patrick Williams | 3adc845 | 2023-12-07 17:14:11 -0600 | [diff] [blame] | 4 | |
| 5 | [provide] | ||||
| 6 | nlohmann_json = nlohmann_json_dep | ||||