| changeset 13826 | e574207e3bcd |
| parent 13813 | 76593ef397ef |
| child 13829 | 7b7c1d9d08ab |
| 13825:cc383142e738 | 13826:e574207e3bcd |
|---|---|
1926 for src, dest in renamefiles: |
1926 for src, dest in renamefiles: |
1927 util.rename(src, dest) |
1927 util.rename(src, dest) |
1928 return a |
1928 return a |
1929 |
1929 |
1930 def instance(ui, path, create): |
1930 def instance(ui, path, create): |
1931 return localrepository(ui, util.drop_scheme('file', path), create) |
1931 return localrepository(ui, urlmod.localpath(path), create) |
1932 |
1932 |
1933 def islocal(path): |
1933 def islocal(path): |
1934 return True |
1934 return True |