Skip to content

Remove rustdoc's plugins feature#52194

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

Remove rustdoc's plugins feature#52194
bors merged 1 commit into
rust-lang:masterfrom
steveklabnik:remove-plugins

Remove rustdoc plugins

0df68d8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs