diff push_cmd.py @ 107:a8950157281a

fetch_command: use the opener to read touched files
author Patrick Mezard <pmezard@gmail.com>
date Tue, 25 Nov 2008 09:18:28 -0600
parents 1da7aafdd323
children 58ae90a65f41
line wrap: on
line diff