diff options
Diffstat (limited to 'v7.2.0/search.html')
| -rw-r--r-- | v7.2.0/search.html | 4 | 
1 files changed, 4 insertions, 0 deletions
| diff --git a/v7.2.0/search.html b/v7.2.0/search.html index bfdd7a2f..1182fed4 100644 --- a/v7.2.0/search.html +++ b/v7.2.0/search.html @@ -206,6 +206,10 @@                      </li>                      <li class="toctree-l2 "> +                        <a class="version_link reference internal" href="../v7.4.0/index.html">v7.4.0</a> +                    </li> +                 +                    <li class="toctree-l2 ">                          <a class="version_link reference internal" href="../v7.3.1/index.html">v7.3.1</a>                      </li> | 
