Arnaud Vergnet 460d84c5f4 Improved mascot popup buttons layout		2020-07-14 18:51:00 +02:00
..
Mascot.js	Updated intro slides to make them shorter and include the mascot	2020-07-13 20:09:28 +02:00
MascotPopup.js	Improved mascot popup buttons layout	2020-07-14 18:51:00 +02:00