Simon Vieille a074d747c1 remove most of jquery from top menu		2021-10-29 11:14:27 +02:00
..
css
js	remove most of jquery from top menu	2021-10-29 11:14:27 +02:00
settings	fix #63: add a new side menu with categories	2021-10-21 21:37:32 +02:00