add line numbers for playpen fixes #1593#1594

Merged

marioidival merged 1 commit intorust-lang:masterfrom ErdemOzgen:addline-numbers-for-editable-sections-of-code

Aug 10, 2022

+1

Commits on Jul 31, 2022

add line numbers for playpen fixes rust-lang#1593
ErdemOzgen
committed