diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-25 12:43:53 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-05-31 15:21:02 +0200 |
| commit | ea4ebc8b7eda78d993d67f5fffbcf2eb19690899 (patch) | |
| tree | 77c90020a3199c0ebdeb5dbf376dabbe862249c0 /TARGETS | |
| parent | d5faeb9cb5a28758069301f6d0394842f71ca4ad (diff) | |
| download | justbuild-ea4ebc8b7eda78d993d67f5fffbcf2eb19690899.tar.gz | |
man: Document ignore-special entry for all just-mr roots
Diffstat (limited to 'TARGETS')
0 files changed, 0 insertions, 0 deletions