diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-25 13:03:02 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-31 15:21:02 +0200 |
| commit | ee15c997efce81d0203757eb5fd9db80aeb610f9 (patch) | |
| tree | 14110b532e29865c00419b8667fb0037b371a9a3 /src/other_tools/root_maps/distdir_git_map.hpp | |
| parent | c5f89b54c65e7ad5f1cda8ba924600d8061ab1a7 (diff) | |
| download | justbuild-ee15c997efce81d0203757eb5fd9db80aeb610f9.tar.gz | |
git 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