feature / #77 show warnings for included header files along with source files - #84

Merged

davidramnero merged 3 commits into

mainfrom

feature/-#77-show-errors-for-other-files

Jun 24, 2026

Commits on Jun 23, 2026

feature / #77 show warnings for included header files along with source files
davidramnero
committed
0f58452
keep track of header errors generated from source file to decide when to clear them from diagnostics
davidramnero
committed
6dceff4

Commits on Jun 24, 2026

fixed cases where diagnostics were cleared when it should not have been
davidramnero
committed
5cd3e8a