diff contrib/debugcmdserver.py @ 17252:16fad7323e56 stable

push: do not try to push remote obsolete if local has none
author Patrick Mezard <patrick@mezard.eu>
date Tue, 24 Jul 2012 21:20:56 +0200
parents e34106fa0dc3
children cd03fbd5ab57
line wrap: on
line diff