diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2022-10-18 17:06:42 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2022-10-20 15:19:04 +0200 |
| commit | 9559e41f3d5fa7bbcc857ef0432ba33cd3f0fb80 (patch) | |
| tree | de9f92a44f6f2098df7d2109b9010caf6cb078b3 /doc/tutorial/getting-started.org | |
| parent | 0eb88fad54c2efcac134dfdecc6ea2f4d83281db (diff) | |
| download | justbuild-9559e41f3d5fa7bbcc857ef0432ba33cd3f0fb80.tar.gz | |
just-mr: Warn on inefficient Git operations
Diffstat (limited to 'doc/tutorial/getting-started.org')
0 files changed, 0 insertions, 0 deletions