android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2025-01-02 16:14:25 +00:00
Code Issues Packages Projects Releases Wiki Activity

Minor documentation formatting and grammatical fixes

Browse Source 
Change-Id: Iaac6377c787b3bb42242780e9d1116e718e0188d
This commit is contained in:
David Pursehouse 2012-11-14 08:52:25 +09:00
parent b1525bffae
commit 9f3406ea46
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
docs/manifest-format.txt
View File

@ -218,10 +218,10 @@ Element include
This element provides the capability of including another manifest
file into the originating manifest. Normal rules apply for the
target manifest to include- it must be a usable manifest on it's own.
target manifest to include - it must be a usable manifest on its own.
Attribute `name`; the manifest to include, specified relative to
the manifest repositories root.
Attribute `name`: the manifest to include, specified relative to
the manifest repository's root.
Local Manifests