diff options
Diffstat (limited to 'v9.5.0/versions.html')
| -rw-r--r-- | v9.5.0/versions.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/v9.5.0/versions.html b/v9.5.0/versions.html index 187cd05e..3a4a82bb 100644 --- a/v9.5.0/versions.html +++ b/v9.5.0/versions.html @@ -352,6 +352,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 @@ -635,6 +639,12 @@ </li> + <li> + <a class="reference internal" href="../v10.0.0/index.html">v10.0.0</a> + + + </li> + </ul></dd> </dl> |