diff options
author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-07 14:28:56 +0100 |
---|---|---|
committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-03-07 15:10:00 +0100 |
commit | 3c2185bf17b1c1a631366aa11591da3e3beb51eb (patch) | |
tree | dbead789637df095b07214ea5b134ddf66fa6412 /src/buildtool/file_system/git_repo.cpp | |
parent | 4181505a187a158d36a1845a4a796af5671cc7ab (diff) | |
download | justbuild-3c2185bf17b1c1a631366aa11591da3e3beb51eb.tar.gz |
Just-mr: Add --local-launcher option
Also update just-mr section-1 man page
Diffstat (limited to 'src/buildtool/file_system/git_repo.cpp')
0 files changed, 0 insertions, 0 deletions