diff options
Diffstat (limited to 'docs/manifest-format.md')
| -rw-r--r-- | docs/manifest-format.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index 06d370a3..d1a11cc9 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
| @@ -566,6 +566,7 @@ These restrictions are not enforced for [Local Manifests]. | |||
| 566 | Attribute `groups`: List of additional groups to which all projects | 566 | Attribute `groups`: List of additional groups to which all projects |
| 567 | in the included manifest belong. This appends and recurses, meaning | 567 | in the included manifest belong. This appends and recurses, meaning |
| 568 | all projects in included manifests carry all parent include groups. | 568 | all projects in included manifests carry all parent include groups. |
| 569 | This also applies to all extend-project elements in the included manifests. | ||
| 569 | Same syntax as the corresponding element of `project`. | 570 | Same syntax as the corresponding element of `project`. |
| 570 | 571 | ||
| 571 | Attribute `revision`: Name of a Git branch (e.g. `main` or `refs/heads/main`) | 572 | Attribute `revision`: Name of a Git branch (e.g. `main` or `refs/heads/main`) |
