Skip to content

Change shortcut from ctrl+enter to shift+enter#2189

Merged
DonJayamanne merged 1 commit intomasterfrom DonJayamanne-patch-1Jul 18, 2018

Commits

Commits on Jul 18, 2018