| changeset 30559 | d83ca854fa21 |
| parent 28804 | ce49c8d4f0bb |
| child 32291 | bd872f64a8ba |
| 30557:cbeb54ec0481 | 30559:d83ca854fa21 |
|---|---|
19 for ext in disabled: |
19 for ext in disabled: |
20 hgrc.write(ext + '=\n') |
20 hgrc.write(ext + '=\n') |
21 |
21 |
22 hgrc.close() |
22 hgrc.close() |
23 |
23 |
24 u = uimod.ui() |
24 u = uimod.ui.load() |
25 extensions.loadall(u) |
25 extensions.loadall(u) |
26 |
26 |
27 globalshort = set() |
27 globalshort = set() |
28 globallong = set() |
28 globallong = set() |
29 for option in commands.globalopts: |
29 for option in commands.globalopts: |