str docs: remove "Basic usage" text where not useful#113072
Merged
bors merged 1 commit intorust-lang:masterfrom Jul 1, 2023
Merged
str docs: remove "Basic usage" text where not useful#113072bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom