diff options
| author | Maksim Denisov <denisov.maksim@huawei.com> | 2024-12-03 13:20:41 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-12-03 15:50:29 +0100 |
| commit | 2091063cb8f0114cf9cfef0f171fe349d17c9a4f (patch) | |
| tree | 0dded162ce53526e2983e312901ffb39b1e73ca4 /doc/tutorial | |
| parent | 300ad8baab543e19431dd74fd9bd1577c5793f16 (diff) | |
| download | justbuild-2091063cb8f0114cf9cfef0f171fe349d17c9a4f.tar.gz | |
Avoid double deletion of git_repository in GuardedRepo
(cherry-picked from 59a485598d1a57b78fb60fe7df7dfe08a1cadd83)
Diffstat (limited to 'doc/tutorial')
0 files changed, 0 insertions, 0 deletions