diff COPYING @ 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 8c8b55733cbd
children
line wrap: on
line diff