comparison CONTRIBUTORS @ 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 c29efd272395
children
comparison
equal deleted inserted replaced
7371:6ad2b914acbd 7372:e17dbf140035