diff options
| author |  ChrisLovering <[email protected]> | 2022-06-01 17:10:26 +0000 |
|---|---|---|
| committer | ChrisLovering <[email protected]> | 2022-06-01 17:10:26 +0000 |
| commit | 1f79f064678ac72a62c34046121386fe8a992a31 (patch) | |
| tree | 69bf898a991322ac9702fc9ab8e216ab0ebbb2b9 /main/versions.html | |
| parent | Deploying to docs from @ python-discord/bot-core@6659680429eec1dd0d45a6332a32... (diff) | |
Deploying to docs from @ python-discord/bot-core@6659680429eec1dd0d45a6332a329a8b5e5a0d0b 🚀
Diffstat (limited to 'main/versions.html')
| -rw-r--r-- | main/versions.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/main/versions.html b/main/versions.html index e362f10f..8c4db86e 100644 --- a/main/versions.html +++ b/main/versions.html @@ -203,6 +203,10 @@ <a class="version_link reference internal" href="versions.html">main</a> </li> + <li class="toctree-l2 "> + <a class="version_link reference internal" href="../v7.1.1/index.html">v7.1.1</a> + </li> + <script> // Make sure we keep any hyperlinked resources when switching version @@ -269,6 +273,12 @@ - latest </li> + <li> + <a class="reference internal" href="../v7.1.1/index.html">v7.1.1</a> + + + </li> + </ul></dd> </dl> |