From: Kefu Chai Date: Sat, 5 Sep 2020 02:40:03 +0000 (+0800) Subject: Merge pull request #36990 from tchaikov/wip-doc-prompt X-Git-Tag: v16.1.0~1187 X-Git-Url: http://git-server-git.apps.pok.os.sepia.ceph.com/?a=commitdiff_plain;h=66ed23d7c6f43bcc7ede1232386765a23dbbf037;p=ceph.git Merge pull request #36990 from tchaikov/wip-doc-prompt doc/dev: use prompt directive when appropriate Reviewed-by: Josh Durgin --- 66ed23d7c6f43bcc7ede1232386765a23dbbf037