mozilla/rust — pull request #11810 by Armavica (2014-01-26 02:55:05+00:00)
Title: Unhide lines in rustdoc's doc -- Closes #11645

The doc-generating tool comments out the lines that match `/$# /` (note the space), which is not what is wanted here. And it lets live the lines matching `/$#[^ ]/`. But we still want to see a space. So I replaced the normal space by a non breakable one, which fools the parser into displaying the line.