2022-06-08 02:47:05 +08:00
|
|
|
[wrap-git]
|
|
|
|
url = https://github.com/ericniebler/range-v3.git
|
2022-12-27 22:22:39 +08:00
|
|
|
revision = 4624c63972c6f2c2871c7b87813c42048ddb80ad
|
2022-06-08 02:47:05 +08:00
|
|
|
|
|
|
|
patch_directory = range-v3
|
|
|
|
|
|
|
|
[provide]
|
|
|
|
range-v3 = range_dep
|