diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-18 11:52:54 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-12-19 16:01:56 +0100 |
| commit | c622f5dcde7c9add9d7b6b8787175195d8247882 (patch) | |
| tree | 29b35ece2ab2852d42eb8b7aa36fe14b022465ae /doc/tutorial/getting-started.md | |
| parent | 87e19a3ad2df7ec3195cac1a38f8ee23121330fe (diff) | |
| download | justbuild-c622f5dcde7c9add9d7b6b8787175195d8247882.tar.gz | |
just-mr git tree: Check for tree also in local CAS
Now we look for the tree also in the local CAS, not just in the
local Git cache. If found, we import the tree from local CAS to the
Git cache and continue as usual.
Diffstat (limited to 'doc/tutorial/getting-started.md')
0 files changed, 0 insertions, 0 deletions