diff __init__.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 3cd6a7354207
children a336e3e82648
line wrap: on
line diff