Remove leading comments from terminal submission (#1244)#1245

Merged

renkun-ken merged 6 commits intoREditorSupport:masterfrom

gowerc:master

Feb 1, 2023

Commits on Nov 11, 2022

Merge branch 'REditorSupport:master' into master
gowerc
authored

Commits on Feb 1, 2023

Add r.removeLeadingComments to settings
renkun-ken
committed