300c6ffbbb193d0a5da399c32fb8c2e4bf309ae9 - git-repo

commit: 300c6ffbbb193d0a5da399c32fb8c2e4bf309ae9
[log]
author: Scott Fan <fancp2007@gmail.com>
Tue Jan 15 20:08:26 2013 +0800
committer: Scott Fan <fancp2007@gmail.com>
Tue Jan 15 20:08:26 2013 +0800
tree: 1b3f2de23d10e916d8d537c02381133497d6b325
parent: 0290cad5db0eef3b15eb976dd7a017837e36c8b7 [diff]

Allow user to specify git path for mirror manifest.

In some case, especially local_manifest.xml for mirror, user may want to
specify a different gitdir path.

Change-Id: Ib0a639e9014811701fbc4eccc3b03330d9b9f4b2
Signed-off-by: Scott Fan <fancp2007@gmail.com>

manifest_xml.py[diff]

1 file changed

tree: 1b3f2de23d10e916d8d537c02381133497d6b325