Guillaume Gomez 934e98d591 Unify theme and settings menus		2024-08-11 19:39:19 +02:00
..
index.html	Unify theme and settings menus	2024-08-11 19:39:19 +02:00
script.js	Unify theme and settings menus	2024-08-11 19:39:19 +02:00
style.css	Unify theme and settings menus	2024-08-11 19:39:19 +02:00
versions.html	Adapt versions.html file to cleaned up gh-pages	2023-06-17 09:24:06 +02:00