diff options
Diffstat (limited to 'v8.3.0-beta/search.html')
-rw-r--r-- | v8.3.0-beta/search.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/v8.3.0-beta/search.html b/v8.3.0-beta/search.html index 9a3a8c8f..ea387d99 100644 --- a/v8.3.0-beta/search.html +++ b/v8.3.0-beta/search.html @@ -350,6 +350,10 @@ <a class="version_link reference internal" href="../v7.1.1/index.html">v7.1.1</a> </li> + <li class="toctree-l2 "> + <a class="version_link reference internal" href="../v10.0.0/index.html">v10.0.0</a> + </li> + <script> // Make sure we keep any hyperlinked resources when switching version |