changeset 40763 | c93d046d4300 |
parent 40376 | 801c8ca60af5 |
child 41768 | aaad36b88298 |
40762:2cd5f1fac788 | 40763:c93d046d4300 |
---|---|
27 |
27 |
28 hgrc.close() |
28 hgrc.close() |
29 |
29 |
30 u = uimod.ui.load() |
30 u = uimod.ui.load() |
31 extensions.loadall(u) |
31 extensions.loadall(u) |
32 extensions.populateui(u) |
|
32 |
33 |
33 globalshort = set() |
34 globalshort = set() |
34 globallong = set() |
35 globallong = set() |
35 for option in commands.globalopts: |
36 for option in commands.globalopts: |
36 option[0] and globalshort.add(option[0]) |
37 option[0] and globalshort.add(option[0]) |