diff options
| -rw-r--r-- | Doc/tools/static/version_switch.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Doc/tools/static/version_switch.js b/Doc/tools/static/version_switch.js index edb025b..7289a4d 100644 --- a/Doc/tools/static/version_switch.js +++ b/Doc/tools/static/version_switch.js @@ -2,7 +2,8 @@ 'use strict'; var all_versions = { - '3.5': 'dev (3.5)', + '3.6': 'dev (3.6)', + '3.5': '3.5', '3.4': '3.4', '3.3': '3.3', '3.2': '3.2', |