]> git.proxmox.com Git - mirror_xterm.js.git/commitdiff
Merge pull request #584 from coderaiser/patch-1
authorDaniel Imms <tyriar@tyriar.com>
Fri, 3 Mar 2017 22:38:55 +0000 (14:38 -0800)
committerGitHub <noreply@github.com>
Fri, 3 Mar 2017 22:38:55 +0000 (14:38 -0800)
Fix demo: wrong pid on windows #567


Trivial merge