mirror of
https://github.com/Dev-Wiki/git-repo.git
synced 2026-06-22 18:35:37 +08:00
010fed7711
os.remove raises an exception when deleting read-only files on Windows. Replace all calls with calls to platform_utils.remove, which deals with deals with that issue. Change-Id: I4dc9e0c9a36b4238880520c69f5075eca40f3e66