]> git.proxmox.com Git - mirror_xterm.js.git/commitdiff
Merge pull request #795 from mofux/remove_unused_vars
authorDaniel Imms <tyriar@tyriar.com>
Fri, 14 Jul 2017 16:51:12 +0000 (09:51 -0700)
committerGitHub <noreply@github.com>
Fri, 14 Jul 2017 16:51:12 +0000 (09:51 -0700)
Remove unused constants from the SelectionManager


Trivial merge