comparison tag_repo.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 91c818377703
children 33736e2e25f0
comparison
equal deleted inserted replaced
170:d046bef502d7 171:b77a4caaf77b