diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2024-03-06 18:37:11 +0100 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2024-03-08 14:18:43 +0100 |
| commit | ef952e26a565db3465b3f5674f496cd1e5e2ae0e (patch) | |
| tree | 9f9d612f8462b606b2c2d8ef430c70b429dda733 /doc/tutorial/getting-started.md | |
| parent | be96de5702039e034b51e1e2434a6838d6760e1b (diff) | |
| download | justbuild-ef952e26a565db3465b3f5674f496cd1e5e2ae0e.tar.gz | |
just-mr: Fix "preferred hostnames"
... instead of replacing the host name of each mirror, it
should only reorder the list of given mirrors.
Diffstat (limited to 'doc/tutorial/getting-started.md')
0 files changed, 0 insertions, 0 deletions