android/git-repo
1
Fork 0
mirror of https://gerrit.googlesource.com/git-repo synced 2024-12-21 07:16:21 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix documentation reference to local_manifest.xml

Browse Source 
Documentation of the remove-project element still refers explicitly
to local_manifest.xml.

Change it to the more generic "a local manifest".

Change-Id: I6278beab99a582fae26a4e053adc110362c714c2
This commit is contained in:
David Pursehouse 2012-11-14 08:51:38 +09:00
parent 685f080d62
commit b1525bffae
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/manifest-format.txt
View File

@ -209,7 +209,7 @@ Deletes the named project from the internal manifest table, possibly
allowing a subsequent project element in the same manifest file to
replace the project with a different source.
This element is mostly useful in the local_manifest.xml, where
This element is mostly useful in a local manifest file, where
the user can remove a project, and possibly replace it with their
own definition.