mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-06-22 18:35:37 +08:00
8ce5041596
Updates the repo launcher and gitc_utils to pull the manifest directory location out of the gitc config file. Change-Id: Id08381b8a7d61962093d5cddcb3ff6afbb13004b