log push_cmd.py @ 72:9ec2a12c12ae

age author description
Wed, 05 Nov 2008 13:37:08 +0100 Patrick Mezard push_cmd: handle copies at file level