changeset 18003 | e1e181a64de7 |
parent 17860 | a45b33f12627 |
child 20530 | 78f547cdc362 |
18002:9bc5873e52af | 18003:e1e181a64de7 |
---|---|
23 while '//' in f: |
23 while '//' in f: |
24 f = f.replace('//', '/') |
24 f = f.replace('//', '/') |
25 return f |
25 return f |
26 |
26 |
27 def _verify(repo): |
27 def _verify(repo): |
28 repo = repo.unfiltered() |
|
28 mflinkrevs = {} |
29 mflinkrevs = {} |
29 filelinkrevs = {} |
30 filelinkrevs = {} |
30 filenodes = {} |
31 filenodes = {} |
31 revisions = 0 |
32 revisions = 0 |
32 badrevs = set() |
33 badrevs = set() |