diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-25 17:34:42 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-31 15:21:02 +0200 |
| commit | d5faeb9cb5a28758069301f6d0394842f71ca4ad (patch) | |
| tree | aa9353dbf8d70345cb78d8dd62eae53276fdf719 /rules/patch | |
| parent | 6215a8c22c486c9a2dbb79cc6d202c5b6d542229 (diff) | |
| download | justbuild-d5faeb9cb5a28758069301f6d0394842f71ca4ad.tar.gz | |
git tree repos: Add option for ignore-special root...
...and fix missing origin field initialization for progress tracing.
Diffstat (limited to 'rules/patch')
0 files changed, 0 insertions, 0 deletions