equal
deleted
inserted
replaced
82 # |
82 # |
83 # mozilla-central as of 2010-06-10 had a ratio of just over 7:5. |
83 # mozilla-central as of 2010-06-10 had a ratio of just over 7:5. |
84 total = live * 3 // 2 |
84 total = live * 3 // 2 |
85 src = src.store.path |
85 src = src.store.path |
86 pos = 0 |
86 pos = 0 |
87 ui.status(_("tip has %d files, estimated total number of files: %s\n") |
87 ui.status(_("tip has %d files, estimated total number of files: %d\n") |
88 % (live, total)) |
88 % (live, total)) |
89 for dirpath, dirnames, filenames in os.walk(src): |
89 for dirpath, dirnames, filenames in os.walk(src): |
90 dirnames.sort() |
90 dirnames.sort() |
91 relpath = dirpath[len(src) + seplen:] |
91 relpath = dirpath[len(src) + seplen:] |
92 for filename in sorted(filenames): |
92 for filename in sorted(filenames): |