diff options
| -rw-r--r-- | Doc/tools/static/version_switch.js | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Doc/tools/static/version_switch.js b/Doc/tools/static/version_switch.js index 7289a4d..8b36a61 100644 --- a/Doc/tools/static/version_switch.js +++ b/Doc/tools/static/version_switch.js @@ -2,13 +2,12 @@ 'use strict'; var all_versions = { - '3.6': 'dev (3.6)', + '3.7': 'dev (3.7)', + '3.6': '3.6', '3.5': '3.5', '3.4': '3.4', '3.3': '3.3', - '3.2': '3.2', '2.7': '2.7', - '2.6': '2.6' }; function build_select(current_version, current_release) { |