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

Mention --bin-name option to set the executable binary name. #260

Merged

jemc merged 1 commit into ponylang:master from winksaville:mention-bin-name-option

Dec 19, 2017

Contributor

winksaville commented Dec 19, 2017

No description provided.


          Mention --bin-name option to set the executable binary name.

bfa6f7c

Contributor Author

winksaville commented Dec 19, 2017

If the change which add --bin-name is merged, then mentioning that will be helpful.

jemc merged commit 812baed into ponylang:master

winksaville deleted the mention-bin-name-option branch

December 19, 2017 06:19

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet