Laurent Rineau d34731d249 Merge pull request #3023 from maxGimeno/Documentation-Add_a_version_menu-GF ... Doc: Add a menu for version selection in the doc header.		2018-04-16 14:50:40 +02:00
..
1.8.4	Tweak the appearance (CSS)	2018-04-13 18:23:34 +02:00
1.8.13	Merge pull request #3023 from maxGimeno/Documentation-Add_a_version_menu-GF	2018-04-16 14:50:40 +02:00
1.8.14	Merge pull request #3023 from maxGimeno/Documentation-Add_a_version_menu-GF	2018-04-16 14:50:40 +02:00