diff options
author | Googler <noreply@google.com> | 2017-08-16 23:13:19 +0200 |
---|---|---|
committer | Irina Iancu <elenairina@google.com> | 2017-08-17 09:54:25 +0200 |
commit | 102e45872a0c1c70b04d66070530d6b6943566df (patch) | |
tree | d95efe8fe2b45c294516696e2395f83d8c065cd3 /site/_layouts | |
parent | f107a53c916d4f6f1fab0fa011ebf9c1d920b1c7 (diff) |
Link to the Tulsi and IntelliJ plugin pages.
PiperOrigin-RevId: 165493537
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 95600acb29..6e39c2b40c 100644 --- a/site/_layouts/documentation.html +++ b/site/_layouts/documentation.html @@ -57,6 +57,7 @@ nav: docs <li><a href="/versions/{{ site.version }}/tutorial/ios-app.html">Build an iOS App</a></li> </ul> </li> + <li><a href="/versions/{{ site.version }}/ide.html">IDE Integration</a></li> </ul> <h3>Using Bazel</h3> <ul class="sidebar-nav"> |