Update the menu_version.js in `master`

See the dropdown menu at the top of:
  https://cgal.geometryfactory.com/CGAL/doc/master/
This commit is contained in:
Laurent Rineau 2018-11-13 13:28:28 +01:00
parent ee2af3a7a3
commit 66e6a5575c
3 changed files with 6 additions and 6 deletions

View File

@ -7,8 +7,8 @@
var all_versions = [
'master',
'latest',
'4.13-beta1',
'4.12',
'4.13',
'4.12.1',
'4.11.3',
'4.10.2',
'4.9.1',

View File

@ -7,8 +7,8 @@
var all_versions = [
'master',
'latest',
'4.13-beta1',
'4.12',
'4.13',
'4.12.1',
'4.11.3',
'4.10.2',
'4.9.1',

View File

@ -7,8 +7,8 @@
var all_versions = [
'master',
'latest',
'4.13-beta1',
'4.12',
'4.13',
'4.12.1',
'4.11.3',
'4.10.2',
'4.9.1',