]> git.proxmox.com Git - mirror_xterm.js.git/commitdiff
Merge pull request #816 from joaomoreno/alt-selection
authorDaniel Imms <tyriar@tyriar.com>
Fri, 28 Jul 2017 21:24:45 +0000 (14:24 -0700)
committerGitHub <noreply@github.com>
Fri, 28 Jul 2017 21:24:45 +0000 (14:24 -0700)
Alt key should force selection


No differences found