comparison Makefile @ 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 682a8ad26138
children 9796d5437e72
comparison
equal deleted inserted replaced
17251:98166640b356 17252:16fad7323e56