]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commit
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)
commitd65516a020720726d6e6afef6fdfde699890f719
treeeb5b237f21a38e58b4f581e8d731ade469da4e77
parent61ad12e6adddfe7f0f903f96d9b9dbbb38652db6
parenta1f42101cfd909b543bc5741fb9a7903afbf98bf
Merge pull request #34577 from tchaikov/wip-doc-dev-corpus

doc/dev/corpus.rst: tweak formatting

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