Skip to content

sidebar: use the same resize grip as rustdoc and playground#2691

Merged
ehuss merged 1 commit intorust-lang:masterfrom
notriddle:knurling
May 10, 2025
Merged

sidebar: use the same resize grip as rustdoc and playground#2691
ehuss merged 1 commit intorust-lang:masterfrom
notriddle:knurling

Commits

Commits on May 9, 2025