Skip to content

Don't report diagnostics for distro files#1030

Merged
pfoerster merged 1 commit intomasterfrom bugfix/diagnostics-for-distro-filesMar 8, 2024

Commits

Commits on Mar 7, 2024