]> git.apps.os.sepia.ceph.com Git - ceph-ci.git/commitdiff
Merge pull request #36252 from tchaikov/wip-doc-crimson
authorKefu Chai <kchai@redhat.com>
Thu, 23 Jul 2020 14:19:56 +0000 (22:19 +0800)
committerGitHub <noreply@github.com>
Thu, 23 Jul 2020 14:19:56 +0000 (22:19 +0800)
doc/dev/crimson: remove redundant options

Reviewed-by: Radoslaw Zarzynski <rzarzyns@redhat.com>

Trivial merge