diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-11-02 16:49:02 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2022-11-02 16:49:17 +0100 |
| commit | 665bb17ca58ef90ae5c830c49f832e2b1123f255 (patch) | |
| tree | 8c0cc5cb699a7b1ad581ec5d831374ef97df171c /doc/tutorial/getting-started.org | |
| parent | f9318b8029d427fa852e6169e9e2259b7ecf4071 (diff) | |
| download | justbuild-665bb17ca58ef90ae5c830c49f832e2b1123f255.tar.gz | |
INSTALL: also mention how to install just-mr
... as this tool is usally used in conjunction with just; in
particular, our tutorial assumes just-mr to be present.
Diffstat (limited to 'doc/tutorial/getting-started.org')
0 files changed, 0 insertions, 0 deletions