log push_cmd.py @ 86:6ecdbd22eb1d

age author description
Fri, 14 Nov 2008 16:18:24 -0600 Patrick Mezard push_cmd: add option to push in stupid mode
Fri, 14 Nov 2008 16:18:24 -0600 Patrick Mezard push_cmd: consider only dirs with added/removed files for addition or deletion