diff docs/conf.py @ 3866:de42d00d6ee2

rewind: use rewinded parent when creating multiple changesets Use use the rewinded parent instead of creating orphans based on identical, but obsolete, changesets.
author Pierre-Yves David <pierre-yves.david@octobus.net>
date Sun, 17 Jun 2018 02:03:03 +0200
parents 9aec8fec2bf8
children ce163aaeba37
line wrap: on
line diff