Goodbye Ctrl-G#720

Merged

asmsuechan merged 1 commit intoBoostIO:masterfrom

asmsuechan:goodby-ctrl-g

Jul 22, 2017

Commits on Jul 22, 2017

Remove Ctrl-G because it's unneccessary and conflicts with CodeMirror
asmsuechan
committed