Claire 4c688d82b4 Fix local settings navigation (#1836) ... The “filters” page was removed, but not from the navigation, which would offset everything.		2022-08-30 10:57:27 +02:00
..
navigation	Fix local settings navigation (#1836)	2022-08-30 10:57:27 +02:00
page	Remove obsolete filter local settings	2022-08-25 09:52:13 +02:00
index.js	Packaged local_settings styles in common	2017-12-07 13:36:18 -08:00