equal
deleted
inserted
replaced
653 if n == node: |
653 if n == node: |
654 marks.append(bookmark) |
654 marks.append(bookmark) |
655 return sorted(marks) |
655 return sorted(marks) |
656 |
656 |
657 def branchmap(self): |
657 def branchmap(self): |
658 '''returns a dictionary {branch: [branchheads]}''' |
658 '''returns a dictionary {branch: [branchheads]} with branchheads |
|
659 ordered by increasing revision number''' |
659 branchmap.updatecache(self) |
660 branchmap.updatecache(self) |
660 return self._branchcaches[self.filtername] |
661 return self._branchcaches[self.filtername] |
661 |
662 |
662 def branchtip(self, branch): |
663 def branchtip(self, branch): |
663 '''return the tip node for a given branch''' |
664 '''return the tip node for a given branch''' |