diff utility_commands.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 08be8ee73551
children 10dd34deac3b
line wrap: on
line diff