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

add hidden option to specify command name #351

Merged
merged 3 commits into from
Apr 12, 2019
Merged

Conversation

MarkMcCaskey
Copy link
Contributor

No description provided.

@MarkMcCaskey MarkMcCaskey added the 🎉 enhancement New feature! label Apr 12, 2019
@MarkMcCaskey MarkMcCaskey requested a review from xmclark April 12, 2019 18:19
@MarkMcCaskey
Copy link
Contributor Author

bors r+

@bors
Copy link
Contributor

bors bot commented Apr 12, 2019

Merge conflict

@MarkMcCaskey
Copy link
Contributor Author

bors r+

bors bot added a commit that referenced this pull request Apr 12, 2019
351: add hidden option to specify command name r=MarkMcCaskey a=MarkMcCaskey



Co-authored-by: Mark McCaskey <mark@wasmer.io>
Co-authored-by: Mark McCaskey <markmccaskey@users.noreply.github.com>
@bors
Copy link
Contributor

bors bot commented Apr 12, 2019

@bors bors bot merged commit 73be6c7 into master Apr 12, 2019
@bors bors bot deleted the feature/add-command-name-opt branch April 12, 2019 18:43
surban pushed a commit to rust-wasi-web/wwrr that referenced this pull request Nov 9, 2024
Add some examples for running WASI programs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🎉 enhancement New feature!
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants