| commit | 38ac414b8484b2bc9b15e8c60bd3fe7276cc196e | [log] [tgz] |
|---|---|---|
| author | Scott Fan <fancp2007@gmail.com> | Tue Jan 15 20:08:26 2013 +0800 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Jan 25 13:34:55 2013 +0000 |
| tree | c69b5872aacf19ef682d804551980408179d7ee5 | |
| parent | 84f7e137c20b7500a6a5c719c39e9166c6e40e85 [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>