Guillermo Rauch b79b34094f term: cross-platform font family settings (#26)		2016-07-04 19:08:45 -07:00
..
css	remove xterm.css (no longer used)	2016-07-04 19:07:26 -07:00
hyperterm.js	change font size with command shortcuts (#34)	2016-07-04 18:39:14 -07:00
index.html	clarify first metric	2016-06-30 23:08:12 -07:00
index.js	remove xterm.css (no longer used)	2016-07-04 19:07:26 -07:00
package.json	implement a more reasonable update interval check frequency (#33)	2016-07-04 18:13:44 -07:00
rpc.js	initial commit	2016-06-30 23:01:04 -07:00
tabs.js	initial commit	2016-06-30 23:01:04 -07:00
term.js	term: cross-platform font family settings (#26)	2016-07-04 19:08:45 -07:00
update-checker.js	implement a more reasonable update interval check frequency (#33)	2016-07-04 18:13:44 -07:00
webpack.config.js	add auto update checking	2016-07-01 13:01:33 -07:00