Skip to content

Fix problems pane ignores files.exclude option#119040

Merged
sandy081 merged 1 commit intomicrosoft:mainfrom
jeanp413:fix-103631
Apr 23, 2021
Merged

Fix problems pane ignores files.exclude option#119040
sandy081 merged 1 commit intomicrosoft:mainfrom
jeanp413:fix-103631

Conversation

@jeanp413
Copy link
Contributor

This PR fixes #103631

Copy link
Member

@sandy081 sandy081 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@sandy081 sandy081 merged commit 77ac0dc into microsoft:main Apr 23, 2021
@jeanp413 jeanp413 deleted the fix-103631 branch April 23, 2021 14:14
@github-actions github-actions bot locked and limited conversation to collaborators Jun 7, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Problems pane ignores "Hide Excluded Files" option

2 participants