Closed risacher closed 9 years ago
update version of term.js; fixes #112, #99
Just noticed this is a dup of #117; leaving this PR open since I used the ">=" operator, which is probably goodness here.
Fixed by commit: fd11e8ef17e3afc7e95c59a326113dbffb6e1079
update version of term.js; fixes #112, #99