Lukas Wirth 1e6cef94df fix: Fix build scripts not being rebuilt in some occasions		2024-02-14 15:20:45 +01:00
..
dev	feature: Add a UnindexedProject notification and a corresponding setting.	2024-02-08 14:23:00 -05:00
user	fix: Fix build scripts not being rebuilt in some occasions	2024-02-14 15:20:45 +01:00