diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2022-06-13 13:30:13 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2022-06-13 15:55:41 +0200 |
| commit | e4bbf59415e610fc090572aff29cd20cdb9c41f8 (patch) | |
| tree | 41f8f3e3fae12c6ea21e4ac18d124dad08e6748c /doc/tutorial/third-party-software.org | |
| parent | 47bb77c39199ae4842f79347de076a4534f7d310 (diff) | |
| download | justbuild-e4bbf59415e610fc090572aff29cd20cdb9c41f8.tar.gz | |
RemoteExecutionConfig: Keep global platform properties
... and cache endpoint address for rebuilding.
Diffstat (limited to 'doc/tutorial/third-party-software.org')
0 files changed, 0 insertions, 0 deletions