]> git.proxmox.com Git - mirror_xterm.js.git/commit
Merge branch 'master' into 709_improve_selection
authorDaniel Imms <tyriar@tyriar.com>
Mon, 19 Jun 2017 14:39:29 +0000 (07:39 -0700)
committerGitHub <noreply@github.com>
Mon, 19 Jun 2017 14:39:29 +0000 (07:39 -0700)
commitf11362a80de1a970ed60050d0862e2afe64197e0
treec4cb323481acfb0cf88e6b0a1b79cce7d51cc7d5
parentc6e7fb74ab852297180e688b4727e348ef12c03e
parenta01fbb636ad82538a42e96a148a59f3f7b371ddf
Merge branch 'master' into 709_improve_selection
src/SelectionManager.ts