]> git.proxmox.com Git - mirror_xterm.js.git/commitdiff
Merge pull request #572 from AndrienkoAleksandr/gulpImprove
authorParis Kasidiaris <pariskasidiaris@gmail.com>
Sat, 11 Mar 2017 13:21:47 +0000 (13:21 +0000)
committerGitHub <noreply@github.com>
Sat, 11 Mar 2017 13:21:47 +0000 (13:21 +0000)
Use tsconfig.json data in gulpfile.js instead of hardcoded values.


Trivial merge