diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-19 10:11:51 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-19 15:52:07 +0100 |
| commit | 42b9b6b1751ad10327250ba678b3bf8e7cd3a1c6 (patch) | |
| tree | 3f11f89d2dd29d5818a9c21446014315c2850c3c /src/other_tools/ops_maps/archive_fetch_map.cpp | |
| parent | d3c656c06505d23d847e4f704be5c27c6c3ccef4 (diff) | |
| download | justbuild-42b9b6b1751ad10327250ba678b3bf8e7cd3a1c6.tar.gz | |
just-mr setup: Fix bug in fetching Git repos
This bug was introduced with the alternative mirrors changes.
Diffstat (limited to 'src/other_tools/ops_maps/archive_fetch_map.cpp')
0 files changed, 0 insertions, 0 deletions