| changeset 36153 | 72d155a792b1 |
| parent 36123 | 8eb13f5d5d3f |
| child 36236 | 564dec70b50c |
| 36152:7f5108e58083 | 36153:72d155a792b1 |
|---|---|
1404 return 'null' |
1404 return 'null' |
1405 else: |
1405 else: |
1406 return h |
1406 return h |
1407 |
1407 |
1408 def printrecords(version): |
1408 def printrecords(version): |
1409 ui.write(('* version %s records\n') % version) |
1409 ui.write(('* version %d records\n') % version) |
1410 if version == 1: |
1410 if version == 1: |
1411 records = v1records |
1411 records = v1records |
1412 else: |
1412 else: |
1413 records = v2records |
1413 records = v2records |
1414 |
1414 |