changeset 17773 | 434e5bd615fc |
parent 17755 | bededd3f0735 |
child 17795 | 9fcea3f47a3a |
17772:823a7d79ef82 | 17773:434e5bd615fc |
---|---|
726 extensions.wrapfunction(record, 'dorecord', kw_dorecord) |
726 extensions.wrapfunction(record, 'dorecord', kw_dorecord) |
727 except KeyError: |
727 except KeyError: |
728 pass |
728 pass |
729 |
729 |
730 repo.__class__ = kwrepo |
730 repo.__class__ = kwrepo |
731 |
|
732 commands.inferrepo += " kwexpand kwfiles kwshrink" |