Skip to content

Disable folding provider #1855

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jun 4, 2018
Merged

Disable folding provider #1855

merged 1 commit into from
Jun 4, 2018

Conversation

DonJayamanne
Copy link

Fixes #1854

This pull request:

  • Has a title summarizes what is changing

@DonJayamanne DonJayamanne requested a review from brettcannon June 4, 2018 16:07
@DonJayamanne DonJayamanne added this to the May 2018 milestone Jun 4, 2018
@DonJayamanne DonJayamanne merged commit a7459ab into microsoft:master Jun 4, 2018
@DonJayamanne DonJayamanne deleted the issue1847FoldingProvider branch June 4, 2018 22:51
@DonJayamanne DonJayamanne restored the issue1847FoldingProvider branch June 4, 2018 22:51
@DonJayamanne DonJayamanne deleted the issue1847FoldingProvider branch June 20, 2018 03:17
@lock lock bot locked as resolved and limited conversation to collaborators Jul 31, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@brettcannon brettcannon brettcannon approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
May 2018
Development

Successfully merging this pull request may close these issues.

Temporarily disable folding provider
2 participants
@DonJayamanne @brettcannon