]> gitweb.factorcode.org Git - factor.git/commit
timers: use typed to speedup 10%.
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 19 Feb 2013 23:40:45 +0000 (15:40 -0800)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 19 Feb 2013 23:40:45 +0000 (15:40 -0800)
commitb62444680bfc2ae0a9cb29ac4add828a2883537a
tree924ff9f560084bde7f2967e81e033c354c895d64
parent5262c8a1ae7984de8d6564b1f94e4f58943a40b7
timers: use typed to speedup 10%.
basis/timers/timers.factor