Claire 0495302f1c

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