diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-04 12:04:12 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-07 09:59:04 +0100 |
| commit | d04078d7e23dd453745616ff75a0b2a05a824534 (patch) | |
| tree | 0464e6ae928b0ffb3286e162463392c8cdc490b0 /src/other_tools/ops_maps/repo_fetch_map.cpp | |
| parent | 3f74b0d4217b10e0c84f6f3ad32d813c19083976 (diff) | |
| download | justbuild-d04078d7e23dd453745616ff75a0b2a05a824534.tar.gz | |
just-mr git tree: Inquire remote execution before calling fetch command
Diffstat (limited to 'src/other_tools/ops_maps/repo_fetch_map.cpp')
0 files changed, 0 insertions, 0 deletions