diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-08-31 10:53:24 +0200 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-12-21 14:44:08 +0100 |
commit | 9dd9069ba0c33b96e13f0c43f4221b138c9885ee (patch) | |
tree | 8cd1502d9e1db58e0e9108db8827e3abf074870f /src/other_tools/ops_maps/git_update_map.hpp | |
parent | 1823bbd95c4b95e5b4236ae5389d4cf072b4f688 (diff) | |
download | justbuild-9dd9069ba0c33b96e13f0c43f4221b138c9885ee.tar.gz |
Just-MR: Add distdir to WS root git map
Diffstat (limited to 'src/other_tools/ops_maps/git_update_map.hpp')
0 files changed, 0 insertions, 0 deletions