diff options
Diffstat (limited to 'v7.1.3/versions.html')
| -rw-r--r-- | v7.1.3/versions.html | 10 | 
1 files changed, 10 insertions, 0 deletions
diff --git a/v7.1.3/versions.html b/v7.1.3/versions.html index 0e7d46cd..f6ad5a5b 100644 --- a/v7.1.3/versions.html +++ b/v7.1.3/versions.html @@ -204,6 +204,10 @@                      </li>                      <li class="toctree-l2 "> +                        <a class="version_link reference internal" href="../v9.9.0/index.html">v9.9.0</a> +                    </li> +                 +                    <li class="toctree-l2 ">                          <a class="version_link reference internal" href="../v9.8.0/index.html">v9.8.0</a>                      </li> @@ -395,6 +399,12 @@                      </li>                      <li> +                        <a class="reference internal" href="../v9.9.0/index.html">v9.9.0</a> +                         +                         +                    </li> +                 +                    <li>                          <a class="reference internal" href="../v9.8.0/index.html">v9.8.0</a>  |