Update address and title of github source of rust playground in playground.md#1784

Merged

marioidival merged 2 commits intorust-lang:masterfrom HosseinAssaran:patch-7

Dec 13, 2023

+9-2

Commits on Dec 12, 2023

Update address and title of github source of rust playground in playground.md
HosseinAssaran
authored
Make an example using html_playground_url in playground.md
HosseinAssaran
authored