6 Commits

Author	SHA1	Message	Date
Maxime Gimeno	726a7fccc1	If the current version of the doc is not in the array, display it ... anyway. To be etested.	2018-09-05 15:52:39 +02:00
Laurent Rineau	7b0dbac0e6	Update menu_version.js with the link to 4.13-beta1	2018-07-31 16:06:22 +02:00
Laurent Rineau	0c4612e27d	Update menu_version.js with new releases	2018-07-31 15:54:19 +02:00
Laurent Rineau	2dae477bb1	Tweak the appearance (CSS)	2018-04-13 18:23:34 +02:00
Laurent Rineau	214034139d	Fix the script	2018-04-13 17:42:27 +02:00
Maxime Gimeno	0161fe7c49	Add a menu for version selection to the doc.	2018-04-13 16:32:07 +02:00