mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-05-13 10:16:34 +08:00
Fix includes: 1. It deletes only .repo/repo instead of the whole .repo repository. Bug: Issue 161 Change-Id: I1ab8caa7538fec5e6206d1b029f63bd3f60dedcd
23 KiB
Executable File
23 KiB
Executable File