Skip to content

Show lint options for "-W" in addition to "-W help" #6719

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Merged
merged 1 commit into from
May 27, 2013
Merged

Show lint options for "-W" in addition to "-W help" #6719

merged 1 commit into from
May 27, 2013

Conversation

kud1ing
Copy link

@kud1ing kud1ing commented May 24, 2013

Fixes #6697

bors added a commit that referenced this pull request May 27, 2013
@bors bors closed this May 27, 2013
@bors bors merged commit 1009c21 into rust-lang:incoming May 27, 2013
@kud1ing kud1ing deleted the rustc_w branch May 27, 2013 06:22
flip1995 pushed a commit to flip1995/rust that referenced this pull request Feb 25, 2021
Update changelog for 1.51

~~Don't merge yet. This is the last step of the release process.~~ Release process for 1.50 is done, this can now be merged.

[Rendered](https://github.com/flip1995/rust-clippy/blob/changelog/CHANGELOG.md)

changelog: none
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants