| commit | 300c6ffbbb193d0a5da399c32fb8c2e4bf309ae9 | [log] [tgz] |
|---|---|---|
| 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>