rust/src/doc/rustdoc
Mazdak Farrokhzad 61150353bf
Rollup merge of #69514 - GuillaumeGomez:remove-spotlight, r=kinnison
Remove spotlight

I had a few comments saying that this feature was at best misunderstood or not even used so I decided to organize a poll about on [twitter](https://twitter.com/imperioworld_/status/1232769353503956994). After 87 votes, the result is very clear: it's not useful. Considering the amount of code we have just to run it, I think it's definitely worth it to remove it.

r? @kinnison

cc @ollie27
2020-03-10 06:47:47 +01:00
..
src Rollup merge of #69514 - GuillaumeGomez:remove-spotlight, r=kinnison 2020-03-10 06:47:47 +01:00
.gitignore add a new mdbook for rustdoc 2017-05-31 12:46:17 -04:00
book.toml Update books. 2020-02-13 08:11:09 -08:00