]> git.proxmox.com Git - mirror_xterm.js.git/commitdiff
Merge pull request #282 from sourcelair/get-option
authorParis Kasidiaris <pariskasidiaris@gmail.com>
Wed, 21 Sep 2016 16:14:39 +0000 (17:14 +0100)
committerGitHub <noreply@github.com>
Wed, 21 Sep 2016 16:14:39 +0000 (17:14 +0100)
Add `getOption` API


Trivial merge