Code

Rename playpen to playground.#1241

Code

Merged

Dylan-DPC-zz merged 1 commit intorust-lang:masterrust-lang/mdBook:masterfrom ehuss:playpen-renameehuss/mdBook:playpen-renameCopy head branch name to clipboardJun 22, 2020

+191-169

Commits

Commits on Jun 2, 2020

• Rename playpen to playground.

  ehuss

  committed
  265aed5

  Copy full SHA for 265aed5