Skip to content

Transition rustdoc-theme to 2018 edition#58117

Merged
bors merged 1 commit into
rust-lang:masterfrom
h-michael:rustdoc-theme-2018
Feb 5, 2019
Merged

Transition rustdoc-theme to 2018 edition#58117
bors merged 1 commit into
rust-lang:masterfrom
h-michael:rustdoc-theme-2018

Transition rustdoc-theme to 2018 edition

d11d1af
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs