diff push_cmd.py @ 58:a8b9c7e7c2ac

Fix a bug in real replay where dirs copied from outside the directory tree weren't removing the prefix within the repo.
author Augie Fackler <durin42@gmail.com>
date Tue, 04 Nov 2008 09:40:58 -0600
parents c3c5546eefb1
children 41dc00c7aef1
line wrap: on
line diff