diff hgext/hgk.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 38caf405d010
children 434e5bd615fc
line wrap: on
line diff