diff util.py @ 85:05a0c4f6060f

push_cmd: consider only dirs with added/removed files for addition or deletion
author Patrick Mezard <pmezard@gmail.com>
date Fri, 14 Nov 2008 16:18:24 -0600
parents b3c7b844b782
children 1da7aafdd323
line wrap: on
line diff