diff options
Diffstat (limited to 'v7.2.0/versions.html')
| -rw-r--r-- | v7.2.0/versions.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/v7.2.0/versions.html b/v7.2.0/versions.html index 86ef4b6d..9c6db338 100644 --- a/v7.2.0/versions.html +++ b/v7.2.0/versions.html @@ -203,6 +203,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.2.1/index.html">v7.2.1</a> + </li> + <li class="toctree-l2 current-page"> <a class="version_link reference internal" href="versions.html">v7.2.0</a> </li> @@ -287,6 +291,12 @@ </li> <li> + <a class="reference internal" href="../v7.2.1/index.html">v7.2.1</a> + + + </li> + + <li> <a class="reference internal" href="versions.html">v7.2.0</a> (current) |