mozilla/rust — pull request #9684 by Seldaek (2013-10-02 17:37:06+00:00)
Title: A few rustdoc source view improvements

cc @alexchrichton