Skip to content

Merge settings.css into rustdoc.css#115812

Merged
bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:merge-settings-into-rustdoc-cssSep 13, 2023

Commits

Commits on Sep 13, 2023