Skip to content

rustdoc: rename CSS rustdoc-toggle -> toggle and toggle -> settings-toggle#106693

Merged
bors merged 1 commit intorust-lang:masterfrom
notriddle:notriddle/toggle-trunc
Jan 14, 2023

Commits

Commits on Jan 13, 2023