repo 1.7.5
Add a --depth option to repo init.

Change-Id: Id30fb4a85f4f8a1847420b0b51a86060041eb5bf
2 files changed