On 07/08/14 18:21, Steve Klabnik wrote:
In general, if you have any suggestions for how this stuff operates, please open an issue on the Rust repo! We've had a few contributors making really great contributions to Rustdoc lately, but there's a lot more to do.
Filed https://github.com/rust-lang/rust/issues/16328 -- Simon Sapin _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo