equal
deleted
inserted
replaced
614 appendcmds(catfns) |
614 appendcmds(catfns) |
615 |
615 |
616 ex = opts.get |
616 ex = opts.get |
617 anyopts = (ex(r'keyword') or not (ex(r'command') or ex(r'extension'))) |
617 anyopts = (ex(r'keyword') or not (ex(r'command') or ex(r'extension'))) |
618 if not name and anyopts: |
618 if not name and anyopts: |
619 exts = listexts(_('enabled extensions:'), extensions.enabled()) |
619 exts = listexts(_('enabled extensions:'), extensions.enabled(), |
|
620 showdeprecated=ui.verbose) |
620 if exts: |
621 if exts: |
621 rst.append('\n') |
622 rst.append('\n') |
622 rst.extend(exts) |
623 rst.extend(exts) |
623 |
624 |
624 rst.append(_("\nadditional help topics:\n")) |
625 rst.append(_("\nadditional help topics:\n")) |