comparison README @ 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 1158d7018052
children 1de6e7e1bb9f
comparison
equal deleted inserted replaced
7371:6ad2b914acbd 7372:e17dbf140035