diff options
Diffstat (limited to 'docs/manifest-format.md')
| -rw-r--r-- | docs/manifest-format.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index b45b9180..bf1a0933 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
| @@ -579,7 +579,9 @@ This also applies to all extend-project elements in the included manifests. | |||
| 579 | Same syntax as the corresponding element of `project`. | 579 | Same syntax as the corresponding element of `project`. |
| 580 | 580 | ||
| 581 | Attribute `revision`: Name of a Git branch (e.g. `main` or `refs/heads/main`) | 581 | Attribute `revision`: Name of a Git branch (e.g. `main` or `refs/heads/main`) |
| 582 | default to which all projects in the included manifest belong. | 582 | default to which all projects in the included manifest belong. This recurses, |
| 583 | meaning it will apply to all projects in all manifests included as a result of | ||
| 584 | this element. | ||
| 583 | 585 | ||
| 584 | ## Local Manifests {#local-manifests} | 586 | ## Local Manifests {#local-manifests} |
| 585 | 587 | ||
