Skip to content

Support different indentation styles#5197

Merged
paulvanbrenk merged 3 commits intorelease-1.7from
supportIndentStyle
Oct 9, 2015
Merged

Support different indentation styles#5197
paulvanbrenk merged 3 commits intorelease-1.7from
supportIndentStyle

Conversation

@paulvanbrenk
Copy link
Copy Markdown
Contributor

Combined with the managed this fixes #4014

@vladima
Copy link
Copy Markdown
Contributor

vladima commented Oct 9, 2015

LGTM

@DanielRosenwasser DanielRosenwasser changed the title Support indent style Support block indentation style Oct 9, 2015
Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

until

@paulvanbrenk paulvanbrenk changed the title Support block indentation style Support different indentation styles Oct 9, 2015
paulvanbrenk added a commit that referenced this pull request Oct 9, 2015
Support different indentation styles
@paulvanbrenk paulvanbrenk merged commit 70747b8 into release-1.7 Oct 9, 2015
@paulvanbrenk paulvanbrenk deleted the supportIndentStyle branch October 9, 2015 23:46
paulvanbrenk added a commit that referenced this pull request Oct 9, 2015
Support different indentation styles
@microsoft microsoft locked and limited conversation to collaborators Jun 19, 2018
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.

3 participants