]> gitweb.factorcode.org Git - factor.git/commit
timers: simplify stop-timer.
authorJohn Benediktsson <mrjbq7@gmail.com>
Fri, 24 Aug 2018 03:37:20 +0000 (20:37 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Fri, 24 Aug 2018 03:37:20 +0000 (20:37 -0700)
commit4dcfefc0b9ed7bcbc68086cfedc8b8b9bda9a63c
tree7191bd03605049eee69fdd13d49cc8d67bdfde3c
parenta27f560475301a0287e97d4ba2cbabb248cf2be7
timers: simplify stop-timer.
basis/timers/timers.factor