]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #36990 from tchaikov/wip-doc-prompt
authorKefu Chai <kchai@redhat.com>
Sat, 5 Sep 2020 02:40:03 +0000 (10:40 +0800)
committerGitHub <noreply@github.com>
Sat, 5 Sep 2020 02:40:03 +0000 (10:40 +0800)
doc/dev: use prompt directive when appropriate

Reviewed-by: Josh Durgin <jdurgin@redhat.com>

Trivial merge