log push_cmd.py @ 70:49b7cbe4c8e3

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