Claire 49767d20bd Fix glitch local settings navigation items not being proper buttons (#2320)		2023-07-23 14:31:16 +02:00
..
glitch	Fix glitch local settings navigation items not being proper buttons (#2320)	2023-07-23 14:31:16 +02:00
vanilla	…