diff options
| author | Renaud Paquay <rpaquay@google.com> | 2016-11-01 11:34:55 -0700 |
|---|---|---|
| committer | David Pursehouse <dpursehouse@collab.net> | 2017-05-29 19:33:07 +0900 |
| commit | ad1abcb556bfff2744928a8f29d216aee43fdbe3 (patch) | |
| tree | c0d515e2d7c2d097ecb8b31e3e365d86696205b1 /git_config.py | |
| parent | a65adf74f990eeac0d90011476376c7239cb7af5 (diff) | |
| download | git-repo-ad1abcb556bfff2744928a8f29d216aee43fdbe3.tar.gz | |
Port os.rename calls to work on Windows
os.rename fails on Windows if the destination exists, so replace
os.rename to platform_utils.rename which handles the platform
differences.
Change-Id: I15a86f10f65eedee5b003b80f88a0c28a3e1aa48
Diffstat (limited to 'git_config.py')
0 files changed, 0 insertions, 0 deletions