tree 52ef2235c9d210b7fbea9f97bdb0747cb80347fe
parent 3883e72aeda7dcc5f76eba7ad2e95ad2cb041687
author David Friedman <dmail@google.com> 1440723584 -0700
committer David Friedman <dmail@google.com> 1440723584 -0700

Docs: Fixes a mistaken TOC item at top-right so it now matches the item it links to.

Change-Id: I78cf665fcf9a99aa579eda455ec34987328df445