songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update menu_version.js with new releases

This commit is contained in:
Laurent Rineau 2018-07-31 15:54:19 +02:00
parent f0785d04a2
commit 0c4612e27d
3 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Documentation/doc/resources/1.8.13/menu_version.js
View File

@ -7,7 +7,7 @@
'master', 'master',
'latest', 'latest',
'4.12', '4.12',
'4.11.1', '4.11.3',
'4.10.2', '4.10.2',
'4.9.1', '4.9.1',
'4.8.2', '4.8.2',

2
Documentation/doc/resources/1.8.14/menu_version.js
View File

@ -7,7 +7,7 @@
'master', 'master',
'latest', 'latest',
'4.12', '4.12',
'4.11.1', '4.11.3',
'4.10.2', '4.10.2',
'4.9.1', '4.9.1',
'4.8.2', '4.8.2',

2
Documentation/doc/resources/1.8.4/menu_version.js
View File

@ -7,7 +7,7 @@
'master', 'master',
'latest', 'latest',
'4.12', '4.12',
'4.11.1', '4.11.3',
'4.10.2', '4.10.2',
'4.9.1', '4.9.1',
'4.8.2', '4.8.2',