diff options
author | Maksim Denisov <denisov.maksim@huawei.com> | 2024-12-04 14:34:12 +0100 |
---|---|---|
committer | Maksim Denisov <denisov.maksim@huawei.com> | 2024-12-05 11:08:08 +0100 |
commit | 31ce2ad2b7457147621c5aa104c677754b37d11d (patch) | |
tree | 767da7b57097df1859223edad960d7a57c83de73 /src/buildtool/execution_api/serve/mr_git_api.hpp | |
parent | 7b50ad08180edb160d023ed61518cd9256f65f70 (diff) | |
download | justbuild-31ce2ad2b7457147621c5aa104c677754b37d11d.tar.gz |
GitRepo: don't reassign git_repository to git_odb
...and remove GuardedRepo.
Diffstat (limited to 'src/buildtool/execution_api/serve/mr_git_api.hpp')
0 files changed, 0 insertions, 0 deletions