diff options
Diffstat (limited to '')
| -rw-r--r-- | v7.2.2/index.html | 4 | 
1 files changed, 4 insertions, 0 deletions
| diff --git a/v7.2.2/index.html b/v7.2.2/index.html index 9e99689d..363ac3e1 100644 --- a/v7.2.2/index.html +++ b/v7.2.2/index.html @@ -204,6 +204,10 @@                          <a class="version_link reference internal" href="../main/index.html">main</a>                      </li> +                    <li class="toctree-l2 "> +                        <a class="version_link reference internal" href="../v7.3.0/index.html">v7.3.0</a> +                    </li> +                                      <li class="toctree-l2 current-page">                          <a class="version_link reference internal" href="index.html">v7.2.2</a>                      </li> | 
