I'm for this. _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
- [rust-dev] should '///' be a doc comment? John Clements
- Re: [rust-dev] should '///' be a doc comment? Patrick Walton
- Re: [rust-dev] should '///' be a doc comment? Lucian Branescu
- Re: [rust-dev] should '///' be a doc comment? Steve Klabnik
- Re: [rust-dev] should '///' be a doc comm... Kang Seonghoon
- Re: [rust-dev] should '///' be a doc comment? Graydon Hoare
- Re: [rust-dev] should '///' be a doc comm... John Clements
- Re: [rust-dev] should '///' be a doc... Daniel Micay
- Re: [rust-dev] should '///' be a... Graydon Hoare
- Re: [rust-dev] should '///' ... Daniel Micay
- Re: [rust-dev] should '///' ... Diggory Hardy
- Re: [rust-dev] should '///' be a... Lucian Branescu
- Re: [rust-dev] should '///' ... Fredrik Håård
- Re: [rust-dev] should '///' be a doc comment? Erik S
