equal
deleted
inserted
replaced
431 if err.errno != errno.ENOENT: raise |
431 if err.errno != errno.ENOENT: raise |
432 return _date2 |
432 return _date2 |
433 def read(f): |
433 def read(f): |
434 return repo.wread(f) |
434 return repo.wread(f) |
435 def renamed(f): |
435 def renamed(f): |
436 src = repo.dirstate.copies.get(f) |
436 src = repo.dirstate.copied(f) |
437 parent = repo.dirstate.parents()[0] |
437 parent = repo.dirstate.parents()[0] |
438 if src: |
438 if src: |
439 f = src[0] |
439 f = src[0] |
440 of = renamedbetween(f, node1, parent) |
440 of = renamedbetween(f, node1, parent) |
441 if of: |
441 if of: |