Skip to content

Remove rustdoc's plugins feature#52194

Merged
bors merged 1 commit intorust-lang:masterfrom
steveklabnik:remove-plugins
Jul 12, 2018

Commits

Commits on Jul 10, 2018