diff util.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 463998d266e3
children 57355b0e7bd1
line wrap: on
line diff