equal
deleted
inserted
replaced
157 def base(self, rev): return self.index[rev][2] |
157 def base(self, rev): return self.index[rev][2] |
158 |
158 |
159 def heads(self): |
159 def heads(self): |
160 p = {} |
160 p = {} |
161 h = [] |
161 h = [] |
162 for r in range(self.count() - 1, 0, -1): |
162 for r in range(self.count() - 1, -1, -1): |
163 n = self.node(r) |
163 n = self.node(r) |
164 if n not in p: |
164 if n not in p: |
165 h.append(n) |
165 h.append(n) |
166 for pn in self.parents(n): |
166 for pn in self.parents(n): |
167 p[pn] = 1 |
167 p[pn] = 1 |