equal
deleted
inserted
replaced
11 from node import * |
11 from node import * |
12 from i18n import gettext as _ |
12 from i18n import gettext as _ |
13 from demandload import * |
13 from demandload import * |
14 demandload(globals(), "time bisect stat util re errno") |
14 demandload(globals(), "time bisect stat util re errno") |
15 |
15 |
16 class dirstate: |
16 class dirstate(object): |
17 def __init__(self, opener, ui, root): |
17 def __init__(self, opener, ui, root): |
18 self.opener = opener |
18 self.opener = opener |
19 self.root = root |
19 self.root = root |
20 self.dirty = 0 |
20 self.dirty = 0 |
21 self.ui = ui |
21 self.ui = ui |