]> git.proxmox.com Git - mirror_xterm.js.git/commitdiff
Merge pull request #811 from blink1073/add-jupyter
authorDaniel Imms <tyriar@tyriar.com>
Fri, 21 Jul 2017 13:17:56 +0000 (06:17 -0700)
committerGitHub <noreply@github.com>
Fri, 21 Jul 2017 13:17:56 +0000 (06:17 -0700)
Add JupyterLab as a real-world use case


Trivial merge