2022-06-08 02:47:05 +08:00
|
|
|
[wrap-git]
|
|
|
|
url = https://github.com/ericniebler/range-v3.git
|
2024-04-30 17:05:58 +08:00
|
|
|
revision = 53c40dd628450c977ee1558285ff43e0613fa7a9
|
2022-06-08 02:47:05 +08:00
|
|
|
|
|
|
|
patch_directory = range-v3
|
|
|
|
|
|
|
|
[provide]
|
|
|
|
range-v3 = range_dep
|