]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #48924 from zdover23/wip-doc-2022-11-17-dev-dot-users-manual
authorzdover23 <1445107+zdover23@users.noreply.github.com>
Thu, 17 Nov 2022 05:53:06 +0000 (15:53 +1000)
committerGitHub <noreply@github.com>
Thu, 17 Nov 2022 05:53:06 +0000 (15:53 +1000)
doc/dev: link to Dot User's Manual

Reviewed-by: Cole Mitchell <cole.mitchell@gmail.com>

Trivial merge