diff --git a/.docs/overrides/main.html b/.docs/overrides/main.html index bc23fb67ea28eedf751c5cda48461513524cd46d..db14ec6adb627a5103d84d7cefc2411d52fe7d1f 100644 --- a/.docs/overrides/main.html +++ b/.docs/overrides/main.html @@ -3,9 +3,10 @@ {% block announce %} <label for="version">Version</label> <select style="margin-left:8px;" id="version" name="version" onchange="switchVersion(this.options[this.selectedIndex].value)"> + <option value="latest">latest</option> + <option value="1.4.1">1.4.1</option> <option value="1.4.0">1.4.0</option> <option value="1.3.0">1.3.0</option> - <option value="latest">latest</option> </select> <script> function getVersion() {