Arnaud Vergnet 5f9132a670 Improved intro slides		2020-07-14 23:44:03 +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 intro slides	2020-07-14 23:44:03 +02:00