equal
deleted
inserted
replaced
586 |
586 |
587 if start is None: |
587 if start is None: |
588 start = nullid |
588 start = nullid |
589 if stop is None: |
589 if stop is None: |
590 stop = [] |
590 stop = [] |
591 stoprevs = set([self.rev(n) for n in stop]) |
591 stoprevs = {self.rev(n) for n in stop} |
592 startrev = self.rev(start) |
592 startrev = self.rev(start) |
593 reachable = {startrev} |
593 reachable = {startrev} |
594 heads = {startrev} |
594 heads = {startrev} |
595 |
595 |
596 parentrevs = self.parentrevs |
596 parentrevs = self.parentrevs |