John Benediktsson
|
b62444680b
|
timers: use typed to speedup 10%.
|
2013-02-19 15:40:45 -08:00 |
Keita Haga
|
dbfc6ec386
|
db.tuples, timers: few $unchecked-examples turn into $codes
|
2011-01-08 22:31:07 +09:00 |
Doug Coleman
|
d29625850f
|
Remove the word 'alarm' from timers docs..
|
2010-09-18 11:37:47 -05:00 |
|
Doug Coleman
|
59ea478b0a
|
Fix typo in timers
|
2010-07-09 13:32:07 -05:00 |
|
Doug Coleman
|
d41feef57c
|
Add utility word
|
2010-06-16 16:23:29 -05:00 |
|
Doug Coleman
|
a6f0abb9a2
|
Rename alarms -> timers
|
2010-06-10 16:39:13 -05:00 |