diff options
author | Jakob Buchgraber <buchgr@google.com> | 2018-02-02 16:14:15 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2018-02-02 16:16:00 -0800 |
commit | d070f70780ce616ad7a684bca3eebfd541ac16ef (patch) | |
tree | 605494f7d6605c752d5ce569826e837b6a9eb309 /site/_layouts | |
parent | 7dbfcfbf9e2ab761166f76f6951509675690cd30 (diff) |
site/docs: add documentation for remote caching.
Closes #4540.
PiperOrigin-RevId: 184349872
Diffstat (limited to 'site/_layouts')
-rw-r--r-- | site/_layouts/documentation.html | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/site/_layouts/documentation.html b/site/_layouts/documentation.html index 7ef96c5b64..5052095515 100644 --- a/site/_layouts/documentation.html +++ b/site/_layouts/documentation.html @@ -109,6 +109,7 @@ nav: docs <li><a href="/versions/{{ site.version }}/query-how-to.html">Querying Builds</a></li> <li><a href="/versions/{{ site.version }}/test-encyclopedia.html">Writing Tests</a></li> <li><a href="/versions/{{ site.version }}/best-practices.html">Best Practices</a></li> + <li><a href="/versions/{{ site.version }}/remote-caching.html">Remote Caching</a></li> </ul> <h3>Reference</h3> |