diff options
Diffstat (limited to 'v7.1.2/index.html')
| -rw-r--r-- | v7.1.2/index.html | 6 | 
1 files changed, 5 insertions, 1 deletions
| diff --git a/v7.1.2/index.html b/v7.1.2/index.html index 74337c4d..e1c2160f 100644 --- a/v7.1.2/index.html +++ b/v7.1.2/index.html @@ -10,9 +10,9 @@        <link rel="stylesheet" type="text/css" href="_static/pygments.css" />      <link rel="stylesheet" type="text/css" href="_static/styles/furo.css?digest=e6660623a769aa55fea372102b9bf3151b292993" />      <link rel="stylesheet" type="text/css" href="_static/styles/furo-extensions.css?digest=30d1aed668e5c3a91c3e3bf6a60b675221979f0e" /> +    <link rel="stylesheet" type="text/css" href="_static/index.css" />      <link rel="stylesheet" type="text/css" href="_static/changelog.css" />      <link rel="stylesheet" type="text/css" href="_static/logo.css" /> -    <link rel="stylesheet" type="text/css" href="_static/index.css" /> @@ -205,6 +205,10 @@                      </li>                      <li class="toctree-l2 "> +                        <a class="version_link reference internal" href="../v9.9.1/index.html">v9.9.1</a> +                    </li> +                 +                    <li class="toctree-l2 ">                          <a class="version_link reference internal" href="../v9.9.0/index.html">v9.9.0</a>                      </li> | 
