comparison utility_commands.py @ 171:b77a4caaf77b

push_cmd: do not store files to delete content File content is used to set mime-types and compute deltas. Both are useless for files to delete.
author Patrick Mezard <pmezard@gmail.com>
date Tue, 30 Dec 2008 20:33:58 -0600
parents a05250261102
children e37f9d3fd5e7
comparison
equal deleted inserted replaced
170:d046bef502d7 171:b77a4caaf77b