Guillaume Gomez 7c5209121d Add new settings menu		2024-07-30 17:31:42 +02:00
..
index.html	Add new settings menu	2024-07-30 17:31:42 +02:00
script.js	Add new settings menu	2024-07-30 17:31:42 +02:00
style.css	Add new settings menu	2024-07-30 17:31:42 +02:00
versions.html	Adapt versions.html file to cleaned up gh-pages	2023-06-17 09:24:06 +02:00