Browse Source

Make 3.7 the current dev version in the html version of the docs.

pull/9921/head
Ned Deily 9 years ago
parent
commit
7582bcaa8f
  1. 5
      Doc/tools/static/version_switch.js

5
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) {

Loading…
Cancel
Save