diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-07 11:47:31 +0100 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-07 11:47:31 +0100 |
| commit | 6801f7448905e2c626c194fe3ffe5818b09df51f (patch) | |
| tree | 907cc8324ef1b85a7cb1a683091bb1f35932a781 /doc/tutorial/getting-started.org | |
| parent | 413fcbf3fe7e73559004100f3b0f41efe7f0b8a9 (diff) | |
| download | justbuild-6801f7448905e2c626c194fe3ffe5818b09df51f.tar.gz | |
just-mr: remove leftover
Diffstat (limited to 'doc/tutorial/getting-started.org')
0 files changed, 0 insertions, 0 deletions