diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-11-08 10:16:33 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-11-08 10:41:53 +0100 |
| commit | 2e5038ec51ae0f427a4c0bb40b86700fead2b394 (patch) | |
| tree | 6c1b30dbdd885246396e570e2a1a56603410b42b /doc/tutorial/proto.org | |
| parent | 69950a3d2cee7cb54a26bf3a5cd56234a8caf046 (diff) | |
| download | justbuild-2e5038ec51ae0f427a4c0bb40b86700fead2b394.tar.gz | |
Fixes to just-mr repo config man 5
- specify explicitly for archives: for missing 'distfile' we use the basename of 'fetch_url'
- specify explicitly that 'subdir' is not a mandatory field
Diffstat (limited to 'doc/tutorial/proto.org')
0 files changed, 0 insertions, 0 deletions