Simon Vieille 24bf8496f3 fix issue #20: add shortcut to open and to hide the menu		2020-05-14 15:30:34 +02:00
..
css	add a cache for the top menu update (#19)	2020-05-13 12:25:11 +02:00
js	fix issue #20: add shortcut to open and to hide the menu	2020-05-14 15:30:34 +02:00
settings	fix issue #20: add shortcut to open and to hide the menu	2020-05-14 15:30:34 +02:00