| commit | 7f1a41fa4d2f9775b92340626027c89e14724940 | [log] [tgz] |
|---|---|---|
| author | Scott Fan <fancp2007@gmail.com> | Tue Jan 15 20:08:26 2013 +0800 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed Feb 06 12:16:52 2013 +0000 |
| tree | d72e9fd9ed13069bb44b6185d4692f8a4dbc85fb | |
| parent | 91f011ab0df9e1aa215e39b424c9ce2614bae50e [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>