comparison push_cmd.py @ 102:3d56b8c53979

fetch_command: remove dead code
author Patrick Mezard <pmezard@gmail.com>
date Tue, 25 Nov 2008 09:18:26 -0600
parents 1da7aafdd323
children 58ae90a65f41
comparison
equal deleted inserted replaced
101:a3b717e4abf5 102:3d56b8c53979