comparison push_cmd.py @ 105:607d72c12dee

fetch_command: move diff file deletion code back with everything else
author Patrick Mezard <pmezard@gmail.com>
date Tue, 25 Nov 2008 09:18:27 -0600
parents 1da7aafdd323
children 58ae90a65f41
comparison
equal deleted inserted replaced
104:f046564b2916 105:607d72c12dee