diff push_cmd.py @ 81:85dcea81f22b

SubversionRepo: close files before rmtree() in diff3 Open files cannot be removed if open (by default) under Windows.
author Patrick Mezard <pmezard@gmail.com>
date Fri, 14 Nov 2008 16:18:24 -0600
parents 49b7cbe4c8e3
children 6c9b7cf1c5aa
line wrap: on
line diff