hints.js: fixed bug in auto-exit timer handling
commitc969567c24307217ee3e20fde4243edca3ca6540
authorJeremy Maitin-Shepard <jeremy@jeremyms.com>
Mon, 29 Dec 2008 22:38:20 +0000 (29 17:38 -0500)
committerJeremy Maitin-Shepard <jeremy@jeremyms.com>
Mon, 29 Dec 2008 22:38:20 +0000 (29 17:38 -0500)
tree89a51ee028093a72f3bcbea500da9ba2a0da836a
parentacf4f8189560e743e4c3f65df960f27da24b1b30
hints.js: fixed bug in auto-exit timer handling
modules/hints.js