diff mercurial/repair.py @ 22806:65ccc733d58e

getlogrevs: remove user of baseset.append A `baseset` has multiple cached results and will get even more in the future. Making it an object "populated once" like the other smartsets makes it both safer and simpler. The append method will be removed at some point.
author Pierre-Yves David <pierre-yves.david@fb.com>
date Tue, 07 Oct 2014 00:04:16 -0700
parents 445472225ccd
children d7b114493315
line wrap: on
line diff