diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-07-18 10:12:51 +0200 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-07-19 17:28:56 +0200 |
| commit | 958cc6d4731657ee3562761a7bc0742552d5d692 (patch) | |
| tree | d9e1df88f7f1905596b23d98205874b40ea01e1d /doc/tutorial/debugging.md | |
| parent | 96ec7cee239716fa5b789a886a2ae3235b16bf3b (diff) | |
| download | justbuild-958cc6d4731657ee3562761a7bc0742552d5d692.tar.gz | |
commit_git_map: take commit from older generations, if found there
If we're asked to fetch a commit that is not present in our git root
right away, first look for it in older generations before starting
the actual fetch.
Diffstat (limited to 'doc/tutorial/debugging.md')
0 files changed, 0 insertions, 0 deletions