diff options
Diffstat (limited to 'v7.1.2/search.html')
| -rw-r--r-- | v7.1.2/search.html | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/v7.1.2/search.html b/v7.1.2/search.html index 0f15288e..6cd6ee7d 100644 --- a/v7.1.2/search.html +++ b/v7.1.2/search.html @@ -202,6 +202,10 @@ </li> <li class="toctree-l2 "> + <a class="version_link reference internal" href="../v9.9.2/index.html">v9.9.2</a> + </li> + + <li class="toctree-l2 "> <a class="version_link reference internal" href="../v9.9.1/index.html">v9.9.1</a> </li> |