| changeset 6312 | 08800489257e |
| parent 6254 | 3667b6e4bbd0 |
| child 6321 | 55ba3bc5b8fd |
| 6311:a079cf630065 | 6312:08800489257e |
|---|---|
447 if len(key) == 20: |
447 if len(key) == 20: |
448 key = hex(key) |
448 key = hex(key) |
449 except: |
449 except: |
450 pass |
450 pass |
451 raise repo.RepoError(_("unknown revision '%s'") % key) |
451 raise repo.RepoError(_("unknown revision '%s'") % key) |
452 |
|
453 def dev(self): |
|
454 return os.lstat(self.path).st_dev |
|
455 |
452 |
456 def local(self): |
453 def local(self): |
457 return True |
454 return True |
458 |
455 |
459 def join(self, f): |
456 def join(self, f): |