]> git-server-git.apps.pok.os.sepia.ceph.com Git - ceph.git/commitdiff
Merge pull request #2399 from ceph/wip-8366
authorJohn Wilkins <jowilkin@redhat.com>
Thu, 4 Sep 2014 17:51:17 +0000 (10:51 -0700)
committerJohn Wilkins <jowilkin@redhat.com>
Thu, 4 Sep 2014 17:51:17 +0000 (10:51 -0700)
doc: adds a navigational menu for docs

Reviewed-by: John Wilkins <john.wilkins@inktank.com>

Trivial merge