Skip to content

fix: Have a single setting to hide issues in ruler#4028

Merged
Jason3S merged 1 commit intomainfrom dev-hide-rulerJan 8, 2025

Commits

Commits on Jan 8, 2025