| commit | 82429eb2fe6a979c9ffc6563d113ef1fdabb543c | [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 Feb 01 14:52:18 2013 +0000 |
| tree | 9c3b1b2975daaacd98e396d25b93744bac3c4618 | |
| parent | 4e46520362e4c75ae7809c74f3d1c21e86852ee8 [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>