Skip to content

Reset the docs' copy path button after 1 second#84740

Merged
bors merged 3 commits intorust-lang:masterfrom
wooster0:patch-6
May 1, 2021
Merged

Reset the docs' copy path button after 1 second#84740
bors merged 3 commits intorust-lang:masterfrom
wooster0:patch-6

Commits

Commits on Apr 30, 2021