diff doc/gendoc.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 e0b29a0c36c4
children 7e8e3c0920a6
line wrap: on
line diff