Skip to content

Add ignoredWorkspaceFolders setting#3617

Open
gsingh93 wants to merge 2 commits intogithub:mainfrom gsingh93:ignored-folders

Commits

Commits on May 21, 2024

Commits on Jun 12, 2024