mozilla/rust — pull request #7489 by thestinger (2013-06-29 19:23:29+00:00)
Title: minor vec cleanup

* hide the rustrt module in the docs
* remove the useless `traits` module wrapping the `Add` impl