Skip to content

Conversation

@vhenzl
Copy link
Contributor

@vhenzl vhenzl commented Sep 24, 2017

The same setting as for phpstan itself (as phpstan/phpstan/pull/519).

The same settings as for phpstan itself.
@ondrejmirtes ondrejmirtes merged commit 31139ab into phpstan:master Sep 24, 2017
@ondrejmirtes
Copy link
Member

Thanks!

@vhenzl vhenzl deleted the pr/add-editorconfig branch September 24, 2017 08:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants