diff setup.py @ 3624:6756f2a85f5b

evolve: make sure bookmarks are moved after phase-divergence resolution This patch adds logic to move bookmarks from the rebased node to the phase-divergence resolved node.
author Pulkit Goyal <7895pulkit@gmail.com>
date Fri, 23 Mar 2018 17:49:26 +0530
parents efac9aad0963
children 9f2e480ad786
line wrap: on
line diff