comparison Makefile @ 7372:e17dbf140035

pull: update to branch tip if there is only one head on the current branch On pull, if the current named branch has only one head, update to it.
author Benoit Allard <benoit@aeteurope.nl>
date Fri, 14 Nov 2008 14:36:17 +0100
parents 3fd4dde37628
children 02e358a3a8a7
comparison
equal deleted inserted replaced
7371:6ad2b914acbd 7372:e17dbf140035