Lukas Wirth ed7e9aa5d8 Simplify		2024-03-01 13:25:24 +01:00
..
dev	feature: Add a UnindexedProject notification and a corresponding setting.	2024-02-08 14:23:00 -05:00
user	Simplify	2024-03-01 13:25:24 +01:00