Kirill Bulatov 69bfd47cf9 Exclude gitignored files' diagnostics from project panel and its indicator. ... The diagnostics are collected and available still, since that might become a settings/UI toggle later. Also, buffer diagnostics are still updated for gitignored files.		2023-11-30 15:46:30 +02:00
..
src	Exclude gitignored files' diagnostics from project panel and its indicator.	2023-11-30 15:46:30 +02:00
Cargo.toml	Parallelize diagnostics filling, add more logs	2023-11-05 15:06:39 +02:00