]> git.lizzy.rs Git - rust.git/commitdiff
auto merge of #13332 : mbrubeck/rust/doc-edit, r=huonw
authorbors <bors@rust-lang.org>
Sat, 5 Apr 2014 14:21:36 +0000 (07:21 -0700)
committerbors <bors@rust-lang.org>
Sat, 5 Apr 2014 14:21:36 +0000 (07:21 -0700)
Also add the new `proc` keyword to the documentation.


Trivial merge