equal
deleted
inserted
replaced
993 if path.startswith(sc): |
993 if path.startswith(sc): |
994 path = path[len(sc):] |
994 path = path[len(sc):] |
995 if path.startswith('//'): |
995 if path.startswith('//'): |
996 path = path[2:] |
996 path = path[2:] |
997 return path |
997 return path |
998 |
|