diff contrib/casesmash.py @ 18514:2a1fac3650a5 stable

rebase: delete divergent bookmarks on destination (issue3685) Similar to merge, divergent bookmarks are only deleted when the bookmark is on the destination parent.
author Siddharth Agarwal <sid0@fb.com>
date Wed, 30 Jan 2013 16:08:32 -0800
parents f5765353d430
children ff1586a3adc5
line wrap: on
line diff