]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #12001 : yuriks/rust/getopts-tweaks, r=brson
authorbors <bors@rust-lang.org>
Thu, 6 Feb 2014 08:01:34 +0000 (00:01 -0800)
committerbors <bors@rust-lang.org>
Thu, 6 Feb 2014 08:01:34 +0000 (00:01 -0800)
This complements `usage` by auto-generating a short one-liner summary
of the options.

(First timer here, be gentle... :)


Trivial merge