| commit | 86efa014fce2b7514f114bc7491082bee5e2c9f1 | [log] [tgz] |
|---|---|---|
| author | David Friedman <dmail@google.com> | Tue Jul 22 00:22:00 2014 -0700 |
| committer | David Friedman <dmail@google.com> | Tue Jul 22 00:22:00 2014 -0700 |
| tree | 7fcd7108193a5d1b2228a2dcfb0f40ca96d92103 | |
| parent | 940ae93043a7d36d89ab777cbc691893590d326c [diff] |
Added an "In This Document" nav list at top-right of page, and deleted corresponding text from body. Change-Id: I8d9077793dbe1dd345afd7152328018d818b07ce