| commit | c9e38614204bfd29e26dc1c2fe6d398c5494c53c | [log] [tgz] |
|---|---|---|
| author | Scott Fan <fancp2007@gmail.com> | Fri Nov 23 19:54:06 2012 +0800 |
| committer | Scott Fan <fancp2007@gmail.com> | Fri Nov 23 20:17:57 2012 +0800 |
| tree | 7c9582298bdef9920d9435a0edab906f6db9abba | |
| parent | 3f5ea0b18207a81f58595b1a2e10e5ffb784b74f [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>