equal
deleted
inserted
replaced
101 src_repo = source |
101 src_repo = source |
102 source = src_repo.url() |
102 source = src_repo.url() |
103 |
103 |
104 if dest is None: |
104 if dest is None: |
105 dest = defaultdest(source) |
105 dest = defaultdest(source) |
|
106 ui.status(_("destination directory: %s\n") % dest) |
106 |
107 |
107 def localpath(path): |
108 def localpath(path): |
108 if path.startswith('file://'): |
109 if path.startswith('file://'): |
109 return path[7:] |
110 return path[7:] |
110 if path.startswith('file:'): |
111 if path.startswith('file:'): |