diff options
-rw-r--r-- | docs/manifest-format.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manifest-format.md b/docs/manifest-format.md index 0201c88b..ca385ba3 100644 --- a/docs/manifest-format.md +++ b/docs/manifest-format.md | |||
@@ -267,7 +267,7 @@ Attribute `groups`: List of groups to which this project belongs, | |||
267 | whitespace or comma separated. All projects belong to the group | 267 | whitespace or comma separated. All projects belong to the group |
268 | "all", and each project automatically belongs to a group of | 268 | "all", and each project automatically belongs to a group of |
269 | its name:`name` and path:`path`. E.g. for | 269 | its name:`name` and path:`path`. E.g. for |
270 | <project name="monkeys" path="barrel-of"/>, that project | 270 | `<project name="monkeys" path="barrel-of"/>`, that project |
271 | definition is implicitly in the following manifest groups: | 271 | definition is implicitly in the following manifest groups: |
272 | default, name:monkeys, and path:barrel-of. If you place a project in the | 272 | default, name:monkeys, and path:barrel-of. If you place a project in the |
273 | group "notdefault", it will not be automatically downloaded by repo. | 273 | group "notdefault", it will not be automatically downloaded by repo. |