log push_cmd.py @ 74:450d5d9d3b80

age author description
Wed, 05 Nov 2008 13:37:08 +0100 Patrick Mezard push_cmd: handle copies at file level
Sun, 09 Nov 2008 17:02:07 -0600 Augie Fackler push: Fix missing directory creation for the case of a new dir inside a new dir.