diff docs/conf.py @ 5591:18fa4797b5dd

evolvecmd: delete bookmark-handling code obsolete since move away from rebase We haven't relied on `rebase.rebasenode()` since 58370c718183 (evolve: use `merge.graft` instead of `rebasenode`, 2014-12-13), so we don't need to compensate for it.
author Martin von Zweigbergk <martinvonz@google.com>
date Thu, 24 Sep 2020 16:15:58 -0700
parents ce163aaeba37
children 034873ca0f88
line wrap: on
line diff