Skip to content

docs: remove mention of string args to main#2009

Merged
RonnyPfannschmidt merged 1 commit intomasterfrom
RonnyPfannschmidt-patch-docs-remove-main-string
Oct 18, 2016
Merged

docs: remove mention of string args to main#2009
RonnyPfannschmidt merged 1 commit intomasterfrom
RonnyPfannschmidt-patch-docs-remove-main-string

Conversation

@RonnyPfannschmidt
Copy link
Copy Markdown
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
Copy Markdown
Member

Feel free to merge after the CI passes.

Also make sure to close #2008. 😉

@coveralls
Copy link
Copy Markdown

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
Copy Markdown
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