diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/repo-manifest.1 | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/man/repo-manifest.1 b/man/repo-manifest.1 index 38c728e6..74e44efd 100644 --- a/man/repo-manifest.1 +++ b/man/repo-manifest.1 | |||
| @@ -641,7 +641,9 @@ extend\-project elements in the included manifests. Same syntax as the | |||
| 641 | corresponding element of `project`. | 641 | corresponding element of `project`. |
| 642 | .PP | 642 | .PP |
| 643 | Attribute `revision`: Name of a Git branch (e.g. `main` or `refs/heads/main`) | 643 | Attribute `revision`: Name of a Git branch (e.g. `main` or `refs/heads/main`) |
| 644 | default to which all projects in the included manifest belong. | 644 | default to which all projects in the included manifest belong. This recurses, |
| 645 | meaning it will apply to all projects in all manifests included as a result of | ||
| 646 | this element. | ||
| 645 | .PP | 647 | .PP |
| 646 | Local Manifests | 648 | Local Manifests |
| 647 | .PP | 649 | .PP |
