diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-25 16:54:19 +0200 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-31 15:21:02 +0200 |
commit | 17031e98529b62afad88c35c0d12491bf12b53ca (patch) | |
tree | 7c4d08915be49142137e546623a9959d39bd50d6 /src/other_tools/root_maps/distdir_git_map.hpp | |
parent | ee15c997efce81d0203757eb5fd9db80aeb610f9 (diff) | |
download | justbuild-17031e98529b62afad88c35c0d12491bf12b53ca.tar.gz |
archive repos: Add option for ignore-special root
Diffstat (limited to 'src/other_tools/root_maps/distdir_git_map.hpp')
0 files changed, 0 insertions, 0 deletions