]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #34577 from tchaikov/wip-doc-dev-corpus 34582/head
authorKefu Chai <kchai@redhat.com>
Thu, 16 Apr 2020 04:37:25 +0000 (12:37 +0800)
committerGitHub <noreply@github.com>
Thu, 16 Apr 2020 04:37:25 +0000 (12:37 +0800)
doc/dev/corpus.rst: tweak formatting

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

Trivial merge