equal
deleted
inserted
replaced
803 rst.append(b"\n%s:\n" % catname) |
803 rst.append(b"\n%s:\n" % catname) |
804 rst.append(b"\n") |
804 rst.append(b"\n") |
805 appendcmds(catfns) |
805 appendcmds(catfns) |
806 |
806 |
807 ex = opts.get |
807 ex = opts.get |
808 anyopts = ex(r'keyword') or not (ex(r'command') or ex(r'extension')) |
808 anyopts = ex('keyword') or not (ex('command') or ex('extension')) |
809 if not name and anyopts: |
809 if not name and anyopts: |
810 exts = listexts( |
810 exts = listexts( |
811 _(b'enabled extensions:'), |
811 _(b'enabled extensions:'), |
812 extensions.enabled(), |
812 extensions.enabled(), |
813 showdeprecated=ui.verbose, |
813 showdeprecated=ui.verbose, |