Skip to content

Support Ctrl-W and Ctrl-U shortcuts in fsi#10370

Merged
vzarytovskii merged 1 commit intodotnet:mainfrom
Swoorup:sj-support-kill-switches
Nov 1, 2020
Merged

Support Ctrl-W and Ctrl-U shortcuts in fsi#10370
vzarytovskii merged 1 commit intodotnet:mainfrom
Swoorup:sj-support-kill-switches

Commits

Commits on Oct 31, 2020