Skip to content

Conversation

mdinger
Copy link
Contributor

@mdinger mdinger commented Dec 28, 2014

For consistency with the documentation, options should be before filenames.

@rust-highfive
Copy link
Contributor

r? @huonw

(rust_highfive has picked a reviewer for you, use r? to override)

@alexcrichton alexcrichton assigned alexcrichton and unassigned huonw Dec 28, 2014
alexcrichton added a commit to alexcrichton/rust that referenced this pull request Dec 30, 2014
For consistency with the documentation, *options* should be before *filenames*.
@bors bors merged commit 875af5b into rust-lang:master Dec 30, 2014
@mdinger mdinger deleted the pretty branch January 2, 2015 20:49
lnicola added a commit to lnicola/rust that referenced this pull request Jul 21, 2025
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.

5 participants