diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-09 18:03:12 +0100 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-11-14 13:35:01 +0100 |
commit | 9b3c940da94a65897f96ebe1519ba8879ae1a2db (patch) | |
tree | c9a4b96787eb950a99e6d8f4956dd97826aeb8b3 /doc/concepts/built-in-rules.md | |
parent | 71ac573d9efa4bc9b46214187c06a8e462242072 (diff) | |
download | justbuild-9b3c940da94a65897f96ebe1519ba8879ae1a2db.tar.gz |
just-import-git: Add --mirror option
This allows to specify upfront alternative locations from where the
imported repository may be fetched. No action is taken in the
import, instead the argument gets passed intot he resulting just-mr
configuration.
Diffstat (limited to 'doc/concepts/built-in-rules.md')
0 files changed, 0 insertions, 0 deletions