From: Kefu Chai Date: Tue, 10 Dec 2019 13:12:28 +0000 (+0800) Subject: Merge pull request #32141 from tchaikov/wip-doc-highlight-console X-Git-Tag: v15.1.0~580 X-Git-Url: http://git.apps.os.sepia.ceph.com/?a=commitdiff_plain;h=b2d97ef5aa11c012d066443ca79b5e3484d1770d;p=ceph.git Merge pull request #32141 from tchaikov/wip-doc-highlight-console doc: use the console lexer for rendering command line sessions Reviewed-by: Sage Weil --- b2d97ef5aa11c012d066443ca79b5e3484d1770d