This repository has been archived on 2024-07-22. You can view files and clone it, but cannot push or open issues or pull requests.

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	…