hgext/relink.py
changeset 26778 a95c975f42e3
parent 26587 56b2bcea2529
child 28380 ad266834251b
equal deleted inserted replaced
26777:df1a29ec45bf 26778:a95c975f42e3
    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):