Skip to content
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.

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

docs: remove mention of string args to main #2009

Merged

Conversation

RonnyPfannschmidt
Copy link
Member

string args got deprecated due to the insane amount of edge-cases wrt splitting on windows vs posix

fixes #2008

string args got deprecated due to the insane amount of edge-cases wrt splitting on windows vs posix
@nicoddemus
Copy link
Member

Feel free to merge after the CI passes.

Also make sure to close #2008. 😉

@coveralls
Copy link

Coverage Status

Coverage remained the same at 92.849% when pulling afc1e2b on RonnyPfannschmidt-patch-docs-remove-main-string into de16149 on master.

@RonnyPfannschmidt RonnyPfannschmidt merged commit c0719a5 into master Oct 18, 2016
@RonnyPfannschmidt
Copy link
Member Author

trial as usual ^^

@RonnyPfannschmidt RonnyPfannschmidt deleted the RonnyPfannschmidt-patch-docs-remove-main-string branch October 19, 2016 07:02
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.

3 participants