]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #39207 from zdover23/wip-doc-removing-workbench-docs
authorzdover23 <1445107+zdover23@users.noreply.github.com>
Tue, 2 Feb 2021 16:14:24 +0000 (02:14 +1000)
committerGitHub <noreply@github.com>
Tue, 2 Feb 2021 16:14:24 +0000 (02:14 +1000)
doc/dev: remove workbench sections

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

Trivial merge