equal
deleted
inserted
replaced
155 if d['aliases']: |
155 if d['aliases']: |
156 ui.write(_(" aliases: %s\n\n") % " ".join(d['aliases'])) |
156 ui.write(_(" aliases: %s\n\n") % " ".join(d['aliases'])) |
157 |
157 |
158 |
158 |
159 def allextensionnames(): |
159 def allextensionnames(): |
160 extensionnames = [] |
160 return extensions.enabled().keys() + extensions.disabled().keys() |
161 |
|
162 extensionsdictionary = extensions.enabled()[0] |
|
163 extensionnames.extend(extensionsdictionary.keys()) |
|
164 |
|
165 extensionsdictionary = extensions.disabled()[0] |
|
166 extensionnames.extend(extensionsdictionary.keys()) |
|
167 |
|
168 return extensionnames |
|
169 |
|
170 |
161 |
171 if __name__ == "__main__": |
162 if __name__ == "__main__": |
172 show_doc(sys.stdout) |
163 show_doc(sys.stdout) |